Resource-limiting work.

Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
New, uniform checkTime statistic for all theories (as discussed in meeting).
Short-circuit in TheoryArithPrivate::check(), care of Tim.