Merge "Verify the SELabels used in property_contexts" into pi-dev