using scala check to test RNG