redone: nfa: slight improvements to caching
redone: dfa: use defaultdict for sink