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