Support the compilation of validity predicates that can be deployed to Anoma

[paulcadman]

Currently minijuvix compile produces WASI binaries that can be executed using a local WASM runtime like wasmer.

This issue is to add support for compilation of pure WASM binaries that export a function that can be executed on Anoma.

(See https://github.com/anoma/anoma/blob/5831077bf1f1ff917f97264471b0ddcae224e739/macros/src/lib.rs#L75 for the corresponding Rust validity predicate macro that produces the WASM signature via C FFI).

[cwgoes]

Example validity predicates:

• Fungible token
• Tic-tac-toe game: one party can initiate a new game, two players can make moves in succession, at the end the VP checks whether one player won or the game was a tie and writes state to keep track of everyone's score

[paulcadman]

After #1449 we've demonstrated the ability to run a validity predicate compiled from Juvix in Anoma.

See:

https://github.com/anoma/juvix/blob/7bf337217d3fdcc1f8f5d5b976577d2e76555caa/tests/positive/MiniC/AlwaysValidVP/Input.juvix

We do not have support for deserialising the arguments (Address struct, transaction data, set of keys changed and set of verifiers) that are passed to the validity predicate.

For this we'll need to support decoding a pointer to a Juvix type using the Borsh spec https://borsh.io