agent-honesty-evals: catching coding agents that lie about verification | Manifund