2 - When choosing which stream on a formerly stalled circuit to wake
3 first, make better use of the platform's weak RNG. Previously, we
4 had been using the % ("modulo") operator to try to generate a 1/N
5 chance of picking each stream, but this behaves badly with many
6 platforms' choice of weak RNG. Fix for bug 7801; bugfix on
8 - Use our own weak RNG when we need a weak RNG. Windows's rand()
9 and Irix's random() only return 15 bits; Solaris's random()
10 returns more bits but its RAND_MAX says it only returns 15, and
11 so on. Fixes another aspect of bug 7801; bugfix on