In order to validate maxComputeWorkgroupStorageSize, we need to compute the amount of workgroup storage used by a

Naively, we could just add up the SizeOf all of the workgroup-space variables statically used by the entry point.
But in practice, I assume there will be padding between these, for alignment. How do we handle this? I don't think we control the way they are packed at all. Should we, for example, round the size of each variable up to a multiple of 32 (similar to minUniformBufferOffsetAlignment) before summing?

cc @dneto0 @alan-baker