Track checkcasts on the stack

[arrdem]

As currently implented in Compiler.java, method and interface calls will be prefixed with a checkcast even if that particular property of that expression/value has already been checked. This leads to method bloat which prevents inlining although the inliner if run would realize that checks are duplicated and discard them.