Use std::shuffle instead of std::random_shuffle (#1131)

Use std::shuffle instead of std::random_shuffle (#1131) #1781