fixup! Implement wasmtime_memory_image APIs

Minor cleanups from review feedback

Signed-off-by: Lucy Menon <168595099+syntactically@users.noreply.github.com>

Author: syntactically

src/hyperlight_wasm_runtime/src/platform.rs

@@ -175,6 +175,8 @@ pub extern "C" fn wasmtime_init_traps(handler: wasmtime_trap_handler_t) -> i32 {
 // Copy a VA range to a new VA. Old and new VA, and len, must be
 // page-aligned.
 fn copy_va_mapping(base: *const u8, len: usize, to_va: *mut u8, remap_original: bool) {
+    debug_assert!((base as usize).is_multiple_of(vmem::PAGE_SIZE));
+    debug_assert!(len.is_multiple_of(vmem::PAGE_SIZE));
     // TODO: all this barrier code is amd64 specific. It should be
     // refactored to use some better architecture-independent APIs.
     //
@@ -244,7 +246,7 @@ fn copy_va_mapping(base: *const u8, len: usize, to_va: *mut u8, remap_original:
         if do_downgrade {
             // Since we have downgraded a page from writable to CoW we
             // need to do an invlpg on it. Because invlpg is a
-            // serialising instruction, we don't need need the other
+            // serialising instruction, we don't need the other
             // barrier for the new mapping.
             unsafe {
                 core::arch::asm!("invlpg [{}]", in(reg) mapping.virt_base, options(readonly, nostack, preserves_flags));