Move optEval to MainComponent
Add helpful comments
Beautify how debugSections are printed
Termination and analysis should happen iff --verify and --termination

The termination checker updates the functions it checks in place (it
removes and adds post-conditions). We duplicate the program here to
ensure that side-effects do not propagate to other parts (such as
synthesis in the web-interface)

Performance tests are invoked via "sbt perf:test". Currently testing
performance of CEGIS on some random synthesis problems

calls

This reverts commit 83f8f8bf.

Annotated incomplete matches in List and Option Leon library.
Removed out-of-place files.

the TerminationRegression test checks if counterexamples are found

counting from 31 down to 0 instead of from 0 up to 31