Major New DFAMinimization changes