Graph Improvements: Headings / Ids for `BasicBlock`s

[dkcumming]

Each BasicBlock has an identifer, it would be good if these identifiers could be added as some kind of heading to the block in the graph to quickly link with proof state or json.