Always warn when compiler can't prove bounds declarations are valid

[dtarditi]

The compiler attempts to prove that bounds declaration valid. Right now, the compiler only warns in checked scopes when it can't prove bounds declarations to be valid. The compiler should always warn, even in unchecked scopes.

[dtarditi]

Work is complete.