Fix witty export of functions with 16 parameters second attempt (#2530)

* Refactor to use `HList!` macro

Instead of manually creating the very deeply nested type.

* Update `wasmer` to version 4.3.6-linera-4

Use the new fork release which updates the version of `wat` so that
there's no conflict with the new version of `wasmtime`.

* Update `wasmtime` to version 25.0.0

Include the fix that allows usage of 17 parameters with typed exported
functions.

* Don't lower parameters laid out in 16 flat types

Keep them as flat parameters instead, even if the return type needs to
be lowered as well.

* Remove dummy arguments in WIT interface

They were added to work-around the issue with function parameters that
flattened to 16 flat types, and with the fix they are no longer needed.

Cargo.toml

@@ -160,10 +160,10 @@ wasm-bindgen-test = "0.3.42"
 wasm-encoder = "0.24.1"
 wasm-instrument = "0.4.0"
 wasm_thread = "0.3.0"
-wasmer = { package = "linera-wasmer", version = "4.3.6-linera.3", default-features = false }
-wasmer-compiler-singlepass = { package = "linera-wasmer-compiler-singlepass", version = "4.3.6-linera.3" }
+wasmer = { package = "linera-wasmer", version = "4.3.6-linera.4", default-features = false }
+wasmer-compiler-singlepass = { package = "linera-wasmer-compiler-singlepass", version = "4.3.6-linera.4" }
 wasmparser = "0.101.1"
-wasmtime = "24.0.0"
+wasmtime = "25.0.0"
 wasmtimer = "0.2.0"
 webassembly-test = "0.1.0"
 web-sys = "0.3.69"