Remove a dependency on boost::random.

Remove a dependency on boost::random. Use std::random instead.