fix #13300 by removing redundant import of random.shuffle()

Fixes #13300.