Check array literals for null terminators.

[dtarditi]

When an array literal is implicitly converted to a null-terminated array pointer type, we need to check that the array literal has a null terminator.

[dtarditi]

This work item is complete. @Prabhuk, thanks!