The Verification Tax: Fundamental Limits of AI Auditing in the Rare-Error Regime