Avoiding Obfuscation with Prover-Estimator Debate