New, uniform checkTime statistic for all theories (as discussed in meeting).
Short-circuit in TheoryArithPrivate::check(), care of Tim.