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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information