Add a benchmark for measuring number of prefetch instructions per second