Hopefully faster implementation of Nfa.Determinized, but it hasn't even been run yet.