Use logging facilities when possible.

src/interpretation/interpreter_theory.ml

src/main.ml

src/proof_strategy.ml

src/saver.ml

src/transformations/utils.ml

src/verification.ml

tests/define.t