Fix test/util.py
clean up epsilon transitions in the NFA

* Make the list of epsilon transitions explicite instead of
  encoding it  in-band by using a special transition char