For example, this should fail to assemble:
%dud = OpCopyMemory %2 %3
Instead I get a binary that looks like this:
$ od -t x4 a.spv
0000000 07230203 00010400 00070000 00000003
0000020 00000000 0003003f 00000001 00000002
0000040
and which disassembles to: