Don't read highscores in benchmark mode

and calculate clips per second before the final game save,
to disregard IO overhead.
Specify initial RNG seeds on the commandline