The Need for Prover-Verifier Games for LLMs