Quick benchmark of a few random number generators