Drawing is much faster, NFA minimization now removes redundant transitions, and some bug fixes.