Support for testing automata. The primary class is {@link org.apache.lucene.util.automaton.AutomatonTestUtil}, which can generate random automata, has simplified implementations for testing, etc.