Update RNG from MT19937 to xoroshiro128+
Update the current RNG that uses MT19937, added in Nov, 1997. The state of the art has advanced and xoroshiro128+ is an updated version of xorshift128+ that is used in the JavaScript engines of all major browsers.