replace DfaMemoryStateImpl.areEquivalent with a more efficient version requiring less eq class traversals (IDEA-123826)
IDEA-123959 cannot create a new file
dfa: reuse free eq class indices
cleanup
fix not-disposed errors on quit