Better defaults for implied cache limiting
Adding comment
Preparing for the BFS-based propFull
Hyper-bin is always enabled, so this is not needed

SCC will find the eqLits due to hyper-bin
No need to replace vars and subsume clauses before reduceDB
Less time checking implicit stats
Faster, and differentiated prober -- both DFS & BFS