print formulas without simplifications

Simplifications and printing are orthogonal issues and should be in
separate functions.  In particular, mixing them together makes it
unnecessarily hard to debug anything interesting related
to prover/formulas.