Nfa determinization is rigorously optimized and quite fast.