Upgrade to rand 0.10

[ww-oai]

This is atop #2531. The main things I've done are switch to PCG as the RNG impl, plus make a previous implicit (rand-side) panic explicit (on the quinn side).

Closes #2531. Closes #2636.

[djc]

This is atop #2531. The main things I've done are switch to PCG as the RNG impl, plus make a previous implicit (rand-side) panic explicit (on the quinn side).

I think we'd prefer to squash all these changes into a single commit (which we'll end up rebasing onto main). But, do you think it could make sense to isolate the switch to PCG in a separate commit?

[woodruffw]

I think we'd prefer to squash all these changes into a single commit (which we'll end up rebasing onto main). But, do you think it could make sense to isolate the switch to PCG in a separate commit?

Yeah, can do!

[ww-oai]

Okay, rewrote the branch's history; the base commit is now the rand bump, and the next commit adds PCG via rand_pcg.

(Also, so sorry for all the account switches. Still trying to develop muscle memory around that...)

[djc]

(Also, so sorry for all the account switches. Still trying to develop muscle memory around that...)

No worries, I caught on to ww-oai pretty quickly... was a little surprised that I have to approve workflows for you even though we only restrict workflows for people new to GitHub. 😄

[djc]

Might be nice to retain me as co-author on the first commit?

[ww-oai]

Might be nice to retain me as co-author on the first commit?

Oops, yes. Fixing that...

[Ralith]

Thanks!