Enforce random replay order even more strongly (with lists); fix a python type error (b = 1024 should be b = 1024.0)