Use random.Random() as the default randomness everywhere.
Merge branch 'master' into feature/shiny-apps