Better naming of the clause-shirnking operations
Give more time to implicit strengthening function
Add possibility to turn all impl cache into learnt

Needed if blocking binary clauses
Adding num calls as a global statistic to Simplifier
Counting var-elim timeouts and displaying them
Blocking implicit binaries on first run
Doing more blocking of implicits
Better use of aggressive var-elim check
Better display of aggressive var-elim check
If var-elimination isn't going so well, reduce the timeout on it
Increasing aggressive check: it's not that expensive
Limiting XOR finding time
XOR extraction and finding times were wrongly measured&displayed
Adding a bit more verbosity to elimination

Could help debugging problems later