more test cases on CHECKCAST and arraycopy