This PR originates from bogner@ draft PR. It modifies the triple for logical SPIR-V to use the new vector sizing feature. This means updating the tests, and fix one codegen issue: on the old datalayout, we knew a float3 allocation size was the same as a float4 allocation. This is now invalid, thus a store `<4 x float>` into a `<3 x float>` allocation is UB.