Simple tests for the checkcast opcode.