refactor main function/unit test compilation and evaluation #75
Description
In Spec.hs, there are unit tests like unitTest2 "main = 0" "0" This was a convenient way to test expressions, but main should be reserved for functions that belong in an input/output loop.
We should change all the unit tests, and we need to handle runStaticChecks differently for main vs inside unit tests.