More sophisticated system for finding new gate that could be introduced
Better names, better hiding of newVar()

And also, nVars() should NOT be accessible from outside the solver
Refactor gate finding so as to use re-usable sub-functions
Set VarData *after* its data has been swapped around
Allowing for ER but it doesn't work in library mode yet

It should in the near future. Some parameters have been tuned, useless
and wrong comments removed, the gate is now actually added as bin&tri
clauses.
On small components don't output anything, just solve
Cleaning is not so important, don't print about it at low verbosity
ER can be tested with this fuzzer now