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).