Bug fix for type checking checkcast bytecodes.
The type checker was checking the types for checkcast bytecode the wrong
way around, and this was causing type checking to fail incorrectly.