Tweak benchmark a bit; display times in milliseconds instead of seconds for legibility.