Feature completeness of the Miden SDK, WIT support

This is a tracking issue for the not yet implemented parts of the Miden SDK and WIT.

## Not yet implemented

In Miden SDK, we're missing Rust bindings with ABI transformations for:
- 7 Miden stdlib functions [#158](https://github.com/0xPolygonMiden/compiler/issues/158)
- 25 Miden tx kernel functions [#159](https://github.com/0xPolygonMiden/compiler/issues/159)

In WIT support, we're missing:
- 4 WIT types support (enum, option, result, flags) [#111](https://github.com/0xPolygonMiden/compiler/issues/111)
- Heap-allocated types in function signatures in WIT [#369](https://github.com/0xPolygonMiden/compiler/issues/369)

## No plans for implementation

- Floating-point types;
- WIT resource types.