Fix for rand + replace overloads of rand with rand_prior_true f…
#975
| Job | Run time |
|---|---|
| 18m 24s | |
| 20m 9s | |
| 26m 38s | |
| 23m 40s | |
| 45m 11s | |
| 27m 42s | |
| 33m 1s | |
| 3h 14m 45s |