time_that measures running time, reports result.