[proof chunk] [WIP] [testing] fix various issue found in integration test

[hero78119]

Content

Reported issues found on multi-chunk testing

• refactor 1: simply chunking boundary judgement logic in bus-mapping to ready for finish other incompleted features + avoid tech dept in the future
• add uncompleted logic in bus-mapping: chronological and by-address rwtable not propagate pre-chunk last rw correctly.
• edge case: deal with dummy chunk for real chunk less than desired chunk in circuit params
• allow zero limb diff in state_circuit lexicoordering => we allow duplicated rw_counter in padding, and rely on permutation constraints on by-address/chronological rw_table to avoid malicious padding insert.
• super_circuit/root_circuit tests adopt multiple chunk

Related Issue

To close #1778

[hero78119]

All checked pass, will merge to feature branch and having the review in another PR