add shuffle method in StdRandom