test_muller is occasionally flaky
It should probably use the same random seed every time.