riemann.time.controlled: Use of with-redefs to be slightly more forgiving.
Merge pull request #297 from udoprog/udoprog/with-redefs

riemann.time.controlled: Use of with-redefs to be slightly more forgiving.