Add dotimes-with-progress-reporter.