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

...ng).