Output Verification and Human-in-the-Loop Auditing