Less overhead for small problem parts, better part-fuzzer
Better printing and speed for partFinder
Much better part-handling, with renumbering
Better print the number of parts solved
Speed up part finding using temporary data struct
Only turn off optimizations if variable num is < 60

There are some really weird problems with less than very few  vars
Have sane, NULL defaults for pointers
Increase number of clauses hard limit
Search for parts in larger problems as well

(but only once every two simplify attempts)
Some improvements to regression testing