rewrite minimize_dfa using the twa_graph interface

Currently the function already takes a twa_graph as input, but for historical reason it still uses the slow twa interface.