Commitment vs. Flexibility with Costly Verification