Display timing information when benchmarking.
Simplify usage() in benchmark.py.