Relax bounds checking requirements on array accesses

Per https://code.google.com/p/chromium/issues/detail?id=427065 and modeled after https://www.opengl.org/registry/specs/KHR/robust_buffer_access_behavior.txt , relax the bounds checking requirements on array accesses.  This should allow D3D to avoid unnecessary bounds checks.

Feedback welcome.  Happy to clarify.  :)

cc @kenrussell @grorg 
This is ambiguous. Let's stay instead something like "values from anywhere within the storage accessible to the program." Please suggest other phrasings.