[Tree Optimizer] Integrate interpreter with tests

[Alex-Fischman]

Make the tests call the interpreter to both test the interpreter and confirm that the "build" and "check" expressions are actually equal.

[oflatt]

done