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