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.
Merge pull request #91 from TomMD/master

Use tf-random for higher-quality randoms.