We add a seed to random tests, so the results are reproducable.