The individual tests shouldn't reseed the random number generator
(other than for local debugging).
Hardcoding a specific random seed here leads to this test (and
all subsequent tests) not testing things randomly as intended, but
always testing the same parameters.