Support for adding newly discovered block headers without introducing an edge

[Washi1337]

Summary:
During the disassembly of code / construction of a control flow graph, new block headers might be discovered, without actually directly transferring control to it. For example, an instruction could reference a function address or an exception handler block. The proposal is to add a way for the IStaticSuccessorResolver and/or ISymbolicTransitionResolver to provide this information to the control flow graph builder in such a way that the traversal will also include the referenced instructions.