Added Mealy bisimulation experiment. TODO: merge with DFA bisimulation