Remove all calls to eval in preparation for the eventual removal of the eval function

[roboguy13]

Currently, the only calls to eval are to use rule-to-lemma. eval is used here due to the pretty printer.

[ecaustin]

We should be able to modify scripts to now use getPP in order to call ruleToLemma directly.

However, my initial testing is showing that these functions still fail, but I believe it's due to the DocH return value and not because of the PrettyPrinter arguments.

[ecaustin]

Commit 773e016 should have us ready for this.

As a heads up, we'll probably have to regenerate the golden output for some tests since we may change the output of scripts when moving away from eval.