Add getRandomIntBelow10000() helper using rejection sampling to fix CodeQL High severity finding for biased random numbers when using modulo on cryptographically secure source.
Add getRandomIntBelow10000() helper using rejection sampling to fix CodeQL High severity finding for biased random numbers when using modulo on cryptographically secure source.