Refactoring simplifier to use sub-functions and clearing it up

No need for obvious comments, and no need to check for things that are
later checked for anyway.
Only set orig trail size once
Group statements better in Simplifier
Removing obvious comment
If asymmTE is enabled, do it before propagation

That propagation is bundled with the implicit clause cleaning for
elimination