Removing loopNum and renaming maxGeom
Removing useless passing of Solver to propagate()

addClause functions are virtual, so the correct function will get called
Using a label and goto-s for finishing up Searcher::solve()
Renaming function, removing useless comments
Fixing size_t vs. uint64_t problem in memUsed()