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