Test and fix instructions with bit vectors
Some instructions have a bit vector as argument. These bit vectors are currently stored as 2 bytes, which is too small because they should have 32 bits. This should fail in programs with records with more than 16 fields. This should be fixed and tests should be added.
The instructions are at least (search for