Checker test for testing array bounds check elimination.