Busses: generate powers of auxiliary random values

With the upcoming changes in [VM#1810](https://github.com/0xMiden/miden-vm/pull/1810), the codegen relating to bus constraints could be updated to use powers of the `alpha` challenge, rather than independent challenges.

For prover codegen, we would need to add an extra step to compute the powers, and then use them in the same way as we currently do with the independent challenges.

For the ACE circuit, we could either
- add operations to the `build_ace_circuit` method to compute the required powers. This would simplify the MASM verifier, but require the `Air` to provide additional information about how many powers are required. It's not yet clear what that would look like.
- change the Air generation to use Horner's method when combining the bus values with the challenge powers.

This would require some investigating, and may turn out to not be worth the trouble. In that case, the MASM verifier could manually compute the challenge powers, of which there are few anyway.

Examine the prover codegen and the `build_ace_circuit` method in the Air generation. Understand how bus constraints currently use independent challenges. Investigate the VM pull request #1810 to see the upcoming changes. Determine the number of powers needed and whether to implement power computation or switch to Horner's method.

Escrita pelo modelo de indexação a partir do texto da issue.