pub fn check_compatibility( protocol_config: &ProtocolConfig, existing_package: &MovePackage, upgrading_modules: &[CompiledModule], policy: u8, ) -> Result<(), ExecutionError>