Expose parameter to control SMT debug prints.

If parameter print-smt? is set, program will printf all generated SMT.