Checker test for optimizing that checks whether our
optimizations to remove type checks on array set operations work.