In the past, tech companies optimized for rapid code production. AI has made that part radically cheaper. Verification is now the challenge.