* Check the local flow root against the contract state.
* Check zero contract root.
* Fix wrong root before the first segment.
* Update contracts.
* Fix proof insertion.
* fix: pad tx based on the on-chain contract result.
* chore: update contracts
* test: shard submission
---------
Co-authored-by: Peilun Li <peilun.li@confluxnetwork.org>
