Add a test that detects the getRandomInts() loop bug