Inline random seed generation into RandomSeed
Do not remove workdir of failed tests to ease debugging