move the reduction control of the proofmode to its own file and tweak it
Also update reftests, this actually fixes the output here (I did not notice the id
there before).
Also update reftests, this actually fixes the output here (I did not notice the id
there before).