benchmark_main should print out the delay model used.

`benchmark_main --help` indicates that the default delay model is `""`.

The default does not seem to be the same as the `unit` delay model.

In any case, it would be useful if the output included the name of the delay model that is being used.