Use random-shuffle list shuffling instead of random >= 1.3

Use random-shuffle list shuffling instead of random >= 1.3 #1120