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