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