fix: add exclusive constraint for Miller loop and Final exp masks

[ivokub]

This PR fixes LA audit Issue J.

We didn't have constraint which required ToMillerLoopCircuitMask and ToFinalExpCircuitMask to be exclusive. The recommendation was to check that they are exclusive and sum equals to ECPair.IsActive.

However, I couldn't add this constraint as ECPair.IsActive may also hold for G2 membership data. I added additional ECPair.UnalignedPairingData.IsActive column and corresponding constraints to ensure that only G2 membership data or pairing data submodules are active at a time.

Additionally, I added constraints to ensure the IsComputed/IsPulling columns are only set when the corresponding submodules were active. This allowed to remove previous explicit binary constraints as they are already checked in common_constraints package.

Finally, updated the tests to check that the newly added UnalignedPairingData.IsActive column is correctly computed.

NB! This PR depends on #173 (which depends on #172). After the previous PRs are merged then update the base branch for this PR to main.

Checklist

• I wrote new tests for my new core changes.
• I have successfully ran tests, style checker and build against my new changes locally.
• I have informed the team of any breaking changes if there are any.