Update issue152 output to match new implementation of 'random'
Update issue152 output to match new implementation of 'random'

As of 1cf1e552dfa7e541589274fc49cbcc02d9858a39, 'random' uses
generator from tf-random package

GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,ntc2/cryptol