This tests that the various "objecty" opcodes verify that their arguments are actually of the appropriate types.