[transactional-tests] Add upgrade-compatibility tests (#10917)

Adds compatibility tests to the transactional test runner to test
different upgrade scenarios and compatibility checking around it.

This also adds the ability to specify the upgrade policy when upgrading
in the transactional test runner, and also relaxes compatibility
requirements around constant pools in additive and dep_only modes
(constants can be added/removed as long as they are not used, and added
and used in additive mode).

Author: tzakian

move-binary-format/src/compatibility.rs

@@ -293,12 +293,11 @@ impl InclusionCheck {
         }
 
         // If we're checking exactness we make sure there's an inclusion, and that the size of all
-        // of the tables are the exact same.
+        // of the tables are the exact same except for constants.
         if (self == &Self::Equal)
             && (old_module.structs.len() != new_module.structs.len()
                 || old_module.functions.len() != new_module.functions.len()
-                || old_module.friends.len() != new_module.friends.len()
-                || old_module.constants.len() != new_module.constants.len())
+                || old_module.friends.len() != new_module.friends.len())
         {
             return err;
         }