[Bug 1249097] New: Review Request: Random123 - Library of random number generators