Fix: allow skipping of L1Msg tx part 2 i.e. calculate num_all_txs in tx circuit

[kunxian-xia]

Description

This PR aims to add constraints on tx.block_number in tx table. We group txs with same block number and then get the
num_all_txs in each group (i.e. block). Then we do lookup arg into block table in tx circuit. Since the num_txs in pi's chunk data hash preimage means num_all_txs now, we now copy it to the NumAllTxs row in block table. That is, the NumTxs and CumNumTxs in block number is not constrained by pi circuit then.

The lookup arg into block table in tx circuit are done at tag == BlockNum rows and it looks as

• the input expr is (NumAllTxs, tx_table.value, num_all_txs_acc).

This is the 2nd part of the #760.

Issue Link

#759

Type of change

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• This change requires a documentation update

[kunxian-xia]

Close this as we have it rebased against develop branch. #778