Fixed spec test failures due to enabling bulk memory

lib/engine/src/artifact.rs

@@ -135,7 +135,6 @@ pub trait Artifact: Send + Sync {
         &self,
         handle: &InstanceHandle,
     ) -> Result<(), InstantiationError> {
-        let is_bulk_memory: bool = self.features().bulk_memory;
         let data_initializers = self
             .data_initializers()
             .iter()
@@ -145,7 +144,7 @@ pub trait Artifact: Send + Sync {
             })
             .collect::<Vec<_>>();
         handle
-            .finish_instantiation(is_bulk_memory, &data_initializers)
+            .finish_instantiation(&data_initializers)
             .map_err(|trap| InstantiationError::Start(RuntimeError::from_trap(trap)))
     }
 }

lib/vm/src/instance.rs

@@ -919,17 +919,10 @@ impl InstanceHandle {
     /// Only safe to call immediately after instantiation.
     pub unsafe fn finish_instantiation(
         &self,
-        is_bulk_memory: bool,
         data_initializers: &[DataInitializer<'_>],
     ) -> Result<(), Trap> {
-        // Check initializer bounds before initializing anything. Only do this
-        // when bulk memory is disabled, since the bulk memory proposal changes
-        // instantiation such that the intermediate results of failed
-        // initializations are visible.
-        if !is_bulk_memory {
-            check_table_init_bounds(self.instance())?;
-            check_memory_init_bounds(self.instance(), data_initializers)?;
-        }
+        check_table_init_bounds(self.instance())?;
+        check_memory_init_bounds(self.instance(), data_initializers)?;
 
         // Apply the initializers.
         initialize_tables(self.instance())?;