Missing Wasm instructions

[bbyalcinkaya]

Context: The Multiversx VM has a whitelist of Wasm instructions allowed in contracts. Currently, our wasm semantics does not support all of them (e.g. runtimeverification/wasm-semantics#475.) This limitation forces us to use Rustc 1.69.0, and prevents us from updating mx-sdk-rs.

Problem: Compiling the example contracts with mxpy and Rustc 1.69.0 gives the following error:

error: package `clap_derive v4.4.0` cannot be built because it requires rustc 1.70.0 or newer,
while the currently active rustc version is 1.69.0-nightly
Either upgrade to rustc 1.70.0 or newer, or use
cargo update -p clap_builder@4.4.2 --precise ver

As a workaround in Makefile we apply the fix provided in the error message:

cargo update --manifest-path $*/Cargo.toml -p clap --precise 4.1.0

Solution: Implement all of the whitelisted instructions, upgrade Rustc, and eliminate the temporary fix.