1559 only txlist rlp decode

[smtmfft]

RLP decoding circuit for txlist. It supports both correct rlp bytes and incorrect rlp bytes. Design doc: https://www.notion.so/taikoxyz/RLP-circuit-design-doc-e59ddfda4b5a40e6ac0f170f23154ed8

So far the majority decoding logic seems ok, rest jobs are:

TODOs:

• [ ] lookup to keccak table to insure txlist input, which may also involve hi-lo change.
• [ ] design output params (maybe a lookup table??) for other circuits.
• [ ] logic completeness check, for valid bytes at least.
• [x] constraint refactory using circuit-tool.
• [ ] lookup refactory using circuit-tool
• [ ] more test coverage, especially for invalid cases.
• [x] 1559 tx type support, with or without legacy depends on future design.

[smtmfft]

I based my PR on cecilia's PI refactory branch, where circuit tool is not align with latest MPT in PSE, so some features are missing, using plain code instead. Lookup seems highly coupled with cell manager, so refactory takes longer time, so far still using traditional lookup api.