Faults: Provide the label marking fault halo vertices to DMPlexLabelCohesiveComplete()