Fix 1698604: Moved the quick_rng class into its own header, since it was present...