swift234

[verifier] Tighten the verification of "requireReferenceValue" to confirm that a value is a non-optional, non-owned reference-counted type.

All places where the code is used fits this description. This will cause
problems like <rdar://problem/21275416> to be caught by the verifier.

Swift SVN r29522