Fixed up a bug with instruction slicing. Also added support for exporting to DOT graph format (only text at the momenet, perhaps directly to image in the future).