This tests that the various stack manipulation opcodes verify that their
arguments are actually of the appropriate categories.