Tweak benchmark automation a bit; have criterion do 10 iterations.