Add support for reflecting ByReflection
Allow users to disable the auto-solve in the prover

Use :set autosolve and :unset autosolve to do this.
Merge pull request #958 from david-christiansen/reflection-reflection

Proof automation improvements