Some follow-up of #1171 - [ ] constraint pi[heap_length], pi[hint_length] equal to number of instance of respective init chip. - [ ] constraint pi[xxx_start_addr] + pi[xxx_length], i.e. `end_addr` within range - [ ] constrain init chip across shard only allow 1 chip proof
