Allow users to disable the auto-solve in the prover

Use :set autosolve and :unset autosolve to do this.