Check to avoid very large numbers in nextUint.

Makes sure output doesn't explode to outside of range if b < a.
Merge branch 'random' into appRewrite