message: replace binaryen with wabt
diff: @@ -136,7 +136,8 @@ static uint64_t vm_names[] = {
  };
  static const char* vm_libs_path[] = {
  - "../libs/libvm_wasm_binaryen" DYLIB_SUFFIX,
  + "../libs/libvm_wasm_wabt" DYLIB_SUFFIX,
  +// "../libs/libvm_wasm_binaryen" DYLIB_SUFFIX,
  "../libs/libvm_cpython_ss" DYLIB_SUFFIX,
  "../libs/libvm_eth2" DYLIB_SUFFIX,
  "../libs/libvm_wasm_wavm-0" DYLIB_SUFFIX,
  