write MidenVM constraints for the stack u32 ops

These constraints should be deferred until after we have decided how to deal with the top level stack constraints and op flag handling in #209.

The u32 op constraints are described [here](https://0xpolygonmiden.github.io/miden-vm/design/stack/u32_ops.html) and implemented in Rust [here](https://github.com/0xPolygonMiden/miden-vm/blob/main/air/src/stack/u32_ops/mod.rs).

この issue は、Miden VM リポジトリ内の既存の Rust 実装 (air/src/stack/u32_ops/mod.rs) と設計ドキュメントを参照しています。まず、issue #209 の遅延制約処理を理解してください。次に、u32 演算の仕様と既存の Rust コードを学習し、制約を Air-Script に翻訳します。この作業は、以前のアーキテクチャ上の決定によってブロックされています。

索引モデルが issue の本文から書いたものです。