[DAGCombiner] clean up extract-of-concat fold; NFC

This hopes to improve readability and adds an assert.
The functional change noted by the TODO comment is
proposed in:
D72361