Use min(timeit.repeat), best of three runs

This should reduce noise from resource contention.
https://docs.python.org/dev/library/timeit.html#timeit.Timer.repeat