feat(script): Verify checker labelling invariants (e.g., guideline:X ⇔ X:rule, profile:default ⊆ profile:sensitive ⊆ profile:extreme) with the label-tool

feat(script): Verify checker labelling invariants (e.g., guideline:X ⇔ X:rule, profile:default ⊆ profile:sensitive ⊆ profile:extreme) with the label-tool #3325