Add detailed validation of workgroup sizes and limits in CS/MS/TS

[HansKristian-Work]

Implementation details in this area vary wildly and we need some way to validate execution mode limits.

This opens up to more detailed SPIR-V validation down the line.