Verify End-to-End Connectivity across a Segment Routing SP