Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints

Again, an addition chain here might be more efficient. While this description is much cleaner, it might be possible to optimize this in the IR?

_Originally posted by @adr1anh in https://github.com/0xMiden/air-script/pull/466#discussion_r2382324931_

このissueは、ビットワイズ・チップレットの制約におけるリムの組み合わせの最適化に関するプルリクエスト #466 での議論を参照しています。まず、そのPRの議論をレビューして文脈を理解してください。次に、ビットワイズ・チップレットの関連IRコードを調べて、現在リムがどのように組み合わされているかを確認してください。制約生成における加算チェーン最適化の可能性を探してください。

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