Updated WolframAutomata's rule related CLI flags to match README.