Support multiple namespaces in QueryablePayload::transaction_with_proof

[akonring]

closes: #1010

Description

Currently the QueryablePayload::transaction_with_proof is broken as it does not support more than one namespace with namespace id: VmId(0).
This PR fixes broken code such that both proving and verification can be done for transactions in all namespaces of the block.

Other benefits

Methods like get_tx_table_len and get_tx_table_len_proof in payload.rs were designed when only a single tx-table existed (no namespaces). These are now removed (no other methods depended on them) and the new implementation instead makes use of the TxTable inside tables.rs.

Considerations

A caching mechanism was designed when we only had a single tx-table (no namespaces). This could be revisited to regain some efficiency from re-using the proofs generated fx for tx-table lengths.

espresso-sequencer/sequencer/src/block/payload.rs

Lines 75 to 83 in 6494449

	// TODO(X) Revisit caching of frequently used items
	//
	// TODO type should be `OnceLock<SmallRangeProofType>` instead of `OnceLock<Option<SmallRangeProofType>>`.
	// We can correct this after `once_cell_try` is stabilized <https://github.com/rust-lang/rust/issues/109737>.
	// #[derivative(Hash = "ignore")]
	// #[derivative(PartialEq = "ignore")]
	// #[serde(skip)]
	// pub tx_table_len_proof: OnceLock<Option<SmallRangeProofType>>,
	}

[sveitser]

I'm not very familiar with the payload encoding so probably wouldn't spot an error if there was one but the changes look good to me. If you're unsure and would like a more thorough review maybe @nomaxg can have a look.

[akonring]

Rebasing on main to incorporate #1229 and make CI happy