Add option to manually seed the random generators