regexp.dfa: more use of hash-sets.