v0.10.3: support EIP-4844

and a lot of new features:

1. sha256
2. parallel circuit witness generation and assignment
3. reduce trace size
4. improve "circuit capacity checking" speed