Updated mjk_random to use r1279 algorithm, which is far superior