continuation of multi-shard + ram bus

[hero78119]

To deal with > 1 shards and satisfy offline memory constrain
related to #1061

tasks

• separate mem bus to read/write 2 different map
• add new public input
• integrate local init chip
• integrate local final chip
• shift opcode & mem record to shard ts
• integrate mem bus chip
• refactor mock prover mock proving