Fixing typo
OOps, this has been fixed, so we only report data on cache, not housekeeping
Don't copy clauses for convenence of code
Allowing non-recursive clause minimisation
Allowing somewhat more variables before limiting probing
Caching into memory type of reason
Returning "const X" is useless if X is a native type
No need to do this kind of limiting in simplification

Long clauses are not linked in, and time tracking is very good
Giant performance bug, fixed
Using "trail-too-long -> not restart" trick to solve SATISFIABLE problems
Fixing printed stat
Track even more of memory
Use cache for dominator picking, not stamps