random: use std::shuffle instead of std::random_shuffle

random: use std::shuffle instead of std::random_shuffle #135