Make the random search managers explicitly seeded
v0.1.0