Costly state verification and debt contracts