No need to clean blocked clauses here

We can simply skip the removed ones
Too slow check, removing

When lots of queries are being made, this is very slow
Only rebuild BVA map for data sync if needed
Remove useless comment
Don't use << endl too often when writing to files

Makes it flush the output, which we usually don't want
Only sort the watches once we have been running for a while

It's not a good idea to sort if we will only run for a couple of
conflicts. This happens when we are called very rapidly by a library
Don't clean stamps from re-added vars individually. Do it in one go

And only do it if needed
Add more comments
This is expensive if we are called rapidly by a library. Removing.
Removing ancient, misleading variable name
Removing unused option from regression_test
There should be no multiplier here
SATSolver::nVars() is being called a lot, let's change this debug level
A bit more sane addClauseHelper