Essays on Optimal Contracts with Costly State Verification