Check warnings once the compiler understands 0 <= any other unsigned integer

[dtarditi]

The compiler currently generates warnings about possible invalid bounds declarations when strings with a declared bounds are passed to an argument with count(0). We plan to improve the compiler to eliminate this unnecessary warnings (checkedc/checkedc-clang#599). Once we do that, we should double check that the number of warnings have gone done.

[ppashakhanloo]

After addressing 0 <= any unsigned integer, the following warnings no longer exist:
lines 1409, 1547, and 1608.