Moving activity backup into functions, and using it more
Removing outdated comment
Much better names for certain options
Cleaning up the mess around backup activities & polarities
origAssumptions should be in Solver

That's where it's used
Fixing backup polar&activity in library mode
Fixing fuzzer to use new options
Refactoring Searcher::solve()
More refactoring of Solver::solve()
Making geom_max a class-wide variable
Refactoring Searcher::solve() by using must abort() helper function
Fixing function parameter passing
Removing useless empty lines and comments