Misc 'catchup' commit on WolframAutomata.c.