I just noticed that in VSIR the first block doesn't begin with a `label` op. This is like DXIL and unlike SPIR-V, but I think the SPIR-V behavior is more sensible (so each code instruction belongs to a block identified by a label). Could we switch to the SPIR-V behavior?