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