message: [VM] Remove duplicate MIRAI annotations import
  Remove the duplicate MIRAI annotations import in `vm_runtime/src/lib.rs`.
diff: @@ -125,8 +125,6 @@ pub mod txn_executor;
  pub mod execution_stack;
  #[cfg(not(feature = "instruction_synthesis"))]
  mod execution_stack;
  -#[macro_use]
  -extern crate mirai_annotations;
  pub use move_vm::MoveVM;
  pub use process_txn::verify::static_verify_program;
  