Better measure of hyper-bin&trans-red time and automatic disabling if takes too much

This is kinda hackish but needed for some weird instances like

satcomp09/9vliw_m_9stages_iq3_C1_bug8.cnf