Adding optimisation for UNSAT

This disbles the optimisation for SAT, i.e. trail history-based restart
disabling
Don't disable OTF hyper-bin if doing DRUP
More verbosity about the cleaning phase in Prober
Never turn off OTF hyper-bin if doing DRUP
Forgot to check for DRUP #define
Allow caching&stamping, but don't delete binary clauses when eliminating