Reworked CLI flags for starting seed in README and WolframAutomata source.