feat: exp reverse bits in ir

[tqn]

Adds IR and circuit instructions for ExpReverseBits and HintBits (bit decomposition of a base field element).

Note: HintBits does not invoke a receive interaction on its inputs, but it invokes a send interaction on its output bits. One may believe that this means that values that are still used in the final computation may be written with zero multiplicity, but since every invocation of HintBits comes with assertions (see below), this is not true.

An alternative would be to receive all the inputs, but since the values are not being constrained for the HintBits operation itself, this seems kind of useless.

When an IR HintBits instruction is compiled, it yields many assert statements that constrain the result to be the bit decomposition. These constraints are untested, but I checked that they do in fact yield instructions. Additionally, I essentially just copy-pasted them, so they should work.