Add TODO for signature checks in normal blocks.
Add TODO about code duplication in InstrumentBasicBlocks::instrumentBasicBlock().