Epic: Send a script to a Rust programmer, explain constraints and support running a program they come up with within these constraints.

# Why?

If wasm.lean is to be a backbone of some product, then the experiment @cognivore ran with writing a viable non-trivial program in Rust, compiling to WASM, exporting to WAST and running with Wasm.lean should be reproducible for any rust programmer and any reasonably small Rust program they write without floats and without non-determinism.

# What?

- [ ] Instructions for the constraints to consider while writing this rust program (no floats, no real entropy, no libraries aside from stdlib, etc).
- [ ] Instructions for how to prepare rust program.
- [ ] A binary or even shell script that bundles everything needed and runs it on a default architecture ([see a private discussion in Zulip about what should default architecture be](https://zulip.yatima.io/#narrow/stream/22-inc/topic/Default.20arch/near/62814)). The user can write their program and run it on lurk e2e with this binary bundle.

Start by reproducing the @cognivore experiment of writing a non-trivial Rust program, compiling it to WASM, exporting it to WAST, and running it with Wasm.lean. Document the no-floats, no-entropy, standard-library-only constraints and preparation steps, then investigate the linked Zulip discussion before packaging a binary or shell script that runs the user's program through lurk e2e on a default architecture.

Written by the indexing model from the issue text.