Added a button to run Mike's prover