I'm not removing the weak_rng code itself yet, since it is possible that we will want to revert one of these.