Update tx testing generation: - add new batch lexic to tx-test language - add coordinatorL1Txs generation to tx-test - add SetTest0 code to generate test L1&L2 transactions