The AI Verification Bottleneck: Why Writing Code Is No Longer the Hard Part