Add documentation.
Add documentation to InstrumentBasicBlocks.
Add TODO for possible bug in SplitAfterCall.