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.

This is a tracking issue listing multiple missing features across the Miden SDK and WIT support. Start by examining the linked issues (#158, #159, #111, #369) to understand the specific gaps in Rust bindings and WIT type support. The work involves implementing ABI transformations for stdlib and tx kernel functions, and adding support for complex WIT types like enums and heap-allocated types. Look at existing bindings in the codebase to understand the patterns, and review the Miden assembly output to ensure correctness.

由索引模型根據 Issue 內容生成。