[sil-ownership-verifier] Fix a few bugs and add a few tests.

Author: gottesmm

include/swift/SIL/SILValue.h

@@ -266,7 +266,7 @@ class SILValue {
   ValueOwnershipKind getOwnershipKind() const;
 
   /// Verify that this SILValue and its uses respects ownership invariants.
-  void verifyOwnership() const;
+  void verifyOwnership(SILModule &Mod) const;
 };
 
 /// A formal SIL reference to a value, suitable for use as a stored