Refactoring more minimization: better time-tracking, better limits
Better naming for the function
Fixing indentation
Fixing sum square calculation

It should fit in a double, not in a potentially unsigned int
Removing useless code
Fixing option fuzzer
Fixing elim strategy in fuzzer
Fixing regression test script to use correct binary and options
Don't always add assumptions
Don't fix solve() calls to 0 in regression test