layers: Validate static accesses are not OOB

[spencer-lunarg]

This adds CPU side validation for basic OOB of indexing into descriptors

With the following logic

layout(set = 0, binding = 0, std140) buffer Block1 {
    int i_data[4];
    int o_data;
};
void main() {
    o_data = i_data[4];
}

we clearly can detect any chances of OOB because everything is constant

the goal of this is to make sure this is covered so another PR can remove expensive GPU-AV instrumentation on checking constants are OOB