Adds more logging to control graph

Issue: #32
Fixes referrers processing in ParsedBytecode

Issue: #32
Writes instruction mnemonic as a graph node's label

Issue: #32
Adds test graph generation code

Issue: #32