Look further into random number generation for nucleation

[stvdwtt]

Currently, we use std::mt19937 seeded by std::random_device. It isn't clear that this is the best option in terms of not getting correlated results. Preliminary browsing of StackExchange and the like hasn't been particularly useful. Maybe Boost has something we should use.