swift234

Add verifier check for invalid decls.

We want to enforce the invariant that invalid ValueDecls have type ErrorType.
This patch adds that check, and fixes up the last few places which violated
it.

Last part of <rdar://problem/10157547>.

Swift SVN r7960