Checker test for testing the arraycopy optimization in
instruction simplifier.