Optimizing Decomposition for Optimal Claim Verification