EIP-2537 says pairing of k pairs cost 23000*k + 115000 gas. Gas limit per block is 30M gas, and (30M-115000)/23000 is about 1299. Does it mean that there can be at most 1299 transactions to be verified in a block? If block time is 12 to 14 seconds, a node should compute 100 pairings per second, am I correct?