Proof automation improvements

 * Allow reflection of "byReflection"
 * Allow users to disable automatic use of the "solve" tactic