Added framework for allowing computations to time out.