Why not just let the LLM write a test instead of a "verifier"?