In JSpecify mode, reason about array contents nullability in for-each loop over array

See test case `forEachLoop()` in #982.  We don't properly reason that when the array contents are `@Nullable` the for-each loop variable is `@Nullable`.