Much better tests in python, threads in python
Simplify python tests, add threads
Fixing multi-threaded XOR clause adding
OOps, we signalled new clause and DRUP-ed external XOR clauses
Fixing python tests

Multi-threaded by default, better option parsing ("-v" for verbosity),
etc.