DigraphGene has Cycle and Terminal edges

'jump'/'goto' edges have been removed
traversal algorithm was cleaned up
serialize/deserialize updated accordingly
javadoc comments added