Not built by default, this allows printing the emulation speed on stdout and exiting after a certain emulation time.