Updated WolframAutomata's simulation speed related CLI flags to match README.