Improve description of bounds widening

[dtarditi]

The Checked C clang compiler infers widened bounds for strings (and null-terminated pointers in general) where the null element is checked. We need to add a description of this to Wiki and make sure that the description in the specification describes this.