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