Add the default RNG as explicit type in Random?

[Oscar_Smith]

The docs aren’t out of date. Xoshiro based rngs are added in 1.7, which isn’t fully released yet (we’re still at rc1). Once 1.7 is released, the docs will have this change.