Simple tests for the checkcast opcode.
