cleanup varorder
cleanup Solver ctor
remove minisat's vec class
cleanup minisat
more minisat cleanup