Removing commented-out code
Consolidating lines
Removing commented-out code
Removing disabling of burst-search
Removing outdated comment
Removing useless include
Factoring out clause dumping to a separate class
Moving Simplifier::Stats to .cpp file
Removing subsumeReds
Cleaning up the headers a bit