Add negative tests to confirm unused fields must be zero

[Alan-Jowett]

The spec says that unused fields MUST be set to zero.

Note that most instructions do not use all of the fields. Unused fields must be set to zero.

There should be a tests to confirm the eBPF runtime rejects instructions that have unused fields set to non-zero.