"Completing Contracts in the Shadow of Costly Verification"