Faster Conversion to Normal Forms

Yes, previously simplify meant running of an actual minimization algorithm. Now it refers to simply removal of trivially true/false clauses.