Add fns for deterministically modifying random generator seed thread locals:

* use_random_seed
* with_random_seed