Moving 'removed' flag usage to CNF -- it is useful for speedup

So we don't have to e.g. remove clauses one-by-one from the watchlist
but can do sweeps
Removing unused stats printing from VarReplacer
Refactoring by creating a new function
Renaming vector and making use of C++ for loops
Better comment
Using braces more for readability
Improving AWS client & server
Using a faster varreplacer lookup, smudge-like system
Making varreplacement much faster

Using smudged watchlists