The rise of “vibe coding” is shifting the bottleneck in software development from writing code to verifying it—especially ...