Fix function names in Random comment
Add a version of ThreadSynchronizer::run() which accepts a user parameter