Agressive elimination was *too* agressive

going through the watchlists is too expensive
When detailed clause stats are not measured, don't print them
Better randomise cache-based clause simplifier and give more time to it