Support EIP-1559

[KimiWu123]

see #69 for more details

[ed255]

I think Taiko/Scroll may already have this implemented?

[lispc]

We have this partially implemented. The evm circuit can support 1559 related mechanism (like fee burn) and rlp circuit/tx circuit can accept 1559 txs(but may not fully sound now). But we have not implemented the basefee mechanism itself such as how it is adjusted.

[Brechtpd]

We also only have partial support at this point. We do the basefee adjusting code in a smart contract so we don't have to implement it in a dedicated circuit, but this approach doesn't seem easy for standard Ethereum blocks. We also don't use the standard EIP-1559 formula because that one only works with fixed block times and blocks that efficiently support dynamic sizes (but with the chunked prover this last problem should be solved).