Verification debt: the hidden cost of AI-generated code