Minor fixes to the python module
Removing obvious or outdated comments
Printing of data during solving is now much better

So this print-at-all-restarts flag is no longer needed
Removing unused asymmteric tutology elimination

Not working, and it never gave a good performance anyway