Implemented DFA minimization using Hopcroft's algorithm
Updated compiler version to get impl Show for BitvSet