Costly state verification and debt contracts: a critical resume