Merge "Assert types labeled in genfs_contexts have correct attributes"