Adapters should not be allowed to expose contradictory workgroup size limits #3888
Description
For example we require maxStorageBufferBindingSize to be no larger than maxBufferSize (just in the supported limits of an adapter, not in requestDevice).
Similarly we should require:
maxComputeInvocationsPerWorkgroup≥maxComputeWorkgroupSizeXmaxComputeInvocationsPerWorkgroup≥maxComputeWorkgroupSizeYmaxComputeInvocationsPerWorkgroup≥maxComputeWorkgroupSizeZmaxComputeInvocationsPerWorkgroup≤maxComputeWorkgroupSizeX * maxComputeWorkgroupSizeY * maxComputeWorkgroupSizeZ
(I thought we had something filed about this but I can't find it.)
Finally, I'm thinking since we have so many of these restrictions, we should split them out into their own list in the spec.