Fuzzer should check XOR clauses, too
Ooops, forgot to clear cls_lits after adding clauses
Delaying variable adding to threads, too

This way, we can share variable addition time, too
Fixing returned sizes
Fixing a bug about variable adding