Non-breaking platform-independent `random_mod_core`#1023

mrdomino wants to merge 2 commits intoRustCrypto:masterRustCrypto/crypto-bigint:masterfrom

mrdomino:random-mod-4mrdomino/crypto-bigint:random-mod-4Copy head branch name to clipboard