[Bug 1654072] Review Request: rust-rand_hc - HC128 random number generator