[Bug 1150445] New: Review Request: Random123 - Library of random number generator