Use tf-random for higher-quality randoms.

Notice the randoms from StdGen are well-known to be quite bad.  For
example, see comments in issue #86.