The globalStats needs to be adjusted, not the runStats

Because runStats has already been essentially discarded at this point
numVarsElimed can decrease, so use int64_t
Much better error reporting