use std::random_device{}() for default random seed

use std::random_device{}() for default random seed #11383