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

[msridhar]

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.