Systematically generating tests that would have caught Anthropic's top‑K bugtheorem.dev 2ag811modiscuss