[move-only] Validate in the SILVerifier that we only have copy_addr [init]/load [copy] on move only values in Raw SIL.
[move-only] Validate in the SILVerifier that we only have copy_addr [init]/load [copy] on move only values in Raw SIL.

This is already an invariant for copy_value and now that I am implementing move
semantics for addresses, it makes sense to ban those in a similar
way. Specifically, we are enforcing the invariant that move only types are
allowed to be copied in Raw SIL, but not in later parts of SIL. For those who
are unaware, we then run checkers later to validate that we preserve ownership
semantics.

benlangmuir/swift,roambotics/swift,glessard/swift,benlangmuir/swift,roambotics/swift,roambotics/swift,apple/swift,apple/swift,glessard/swift,benlangmuir/swift,roambotics/swift,glessard/swift,glessard/swift,benlangmuir/swift,benlangmuir/swift,apple/swift,apple/swift,glessard/swift,apple/swift,glessard/swift,apple/swift,benlangmuir/swift,roambotics/swift,roambotics/swift