addDataFlowSegmentOverlay

Detailed-per-IR data-flow diagrams should still expose the analyzer's segment DAG. The analyzer does not define order between IR instructions inside a segment, so this overlays real segment nodes and segment-to- segment edges instead of inventing IR-to-IR data-flow arrows.