New, uniform checkTime statistic for all theories (as discussed in meeting).