util.random: Switch to SHA512