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