Printing implication cache stats
Stats were checked too often, fixed
Adding some randomness into clause vivification by cache and restricting it
SearchFuncParam is now part of Searcher, and adding Glucose 2.1's extra var bumping