Add tests for the dimacs parser
Add tests for the reshuffler.
Fix a bug that added stuff to the end of the clauses permutation.