Implement sub-set requirement checking

[hoijui]

As of now, there is only one sub-set defined: the required properties.
It would be useful though, if we have more such sets defined (e.g. recommended and optimal) within OKH or the tooling,
but also to allow external entities to define such sets and publish them in a way compatible with our tooling.