Adding reminder about boost log level setting
Adding log level to boost tests
More const-ness
Better error reporting
More tests of assumptions
More python tests
Fixing regression tests's options
Fixing problem with new_vars

swapVar missed an offset...

Fixes #216
Adding more assert tests
Only compile to -O2 for release with debug info
Print variable renumbering
Better code for blocked clauses
Fixing returned clause if using assumptions