Prover column after TXN_DATA redesign

[OlivierBBB]

Note

Adds prover columns for user tx tracking/maxima across txndata and rlptxn, wires them into lookups, and enforces binary perspective sum.

• Prover Columns (txndata: cancun, osaka, prague):
  • New computed columns: prover___RELATIVE_USER_TXN_NUMBER, prover___IS_LAST_USER_TXN_OF_BLOCK with associated constancy/increment/vanish constraints.
  • New columns: prover___RELATIVE_USER_TXN_NUMBER_MAX, prover___USER_TXN_NUMBER_MAX with constancy, zeroing, setting, and finalization constraints.
• Prover Columns (rlptxn/cancun):
  • New column: prover___USER_TXN_NUMBER_MAX with constancy and finalization constraints.
• Lookups:
  • Extend rlptxn_into_txndata to map rlptxn.prover___USER_TXN_NUMBER_MAX -> txndata.prover___USER_TXN_NUMBER_MAX.
• Flags/Perspectives:
  • Wrap perspective-sum with force-bin to ensure binary sum across cancun, osaka, and prague.

^{Written by Cursor Bugbot for commit da10a98. This will update automatically on new commits. Configure here.}

[letypequividelespoubelles]

LGTM