Tezlink/Kernel: Validate batches

Stacked on !18916 (merged)

Linear issue

Closes L2-

Next

!18679 (merged)

What

This MR changes the kernel behaviour on Tezlink so that it validates batches.

How

• First we take only the first operation in the batch
• Then we ensure that all the operations in the batch have the same source
• Then we group the verifications that are are applied to the whole batch, and those that are applied to operations in isolation
• Then we loop on the operations, when verifying them separately.

Manually testing the MR

make -f etherlink.mk test