Use a different seed for each random test run, but record it in the assert message