Revert "Revert "[ownership] Verify functions before we strip ownership.""

This reverts commit f9c586f.

Author: gottesmm

lib/SILOptimizer/Transforms/OwnershipModelEliminator.cpp

@@ -382,6 +382,9 @@ struct OwnershipModelEliminator : SILModuleTransform {
       if (SkipTransparent && F.isTransparent())
         continue;
 
+      // Verify here to make sure ownership is correct before we strip.
+      F.verify();
+
       if (stripOwnership(F)) {
         auto InvalidKind =
             SILAnalysis::InvalidationKind::BranchesAndInstructions;