Checker tests for optimizations on checkcast.