reduce rollup and public kernel circuit trust

[just-mitch]

Presently there are instances where the public kernel circuit and rollup circuits place undue trust in the sequencer, such as squashing public data writes, and recombining revertible/non-revertible side effects.

Tasks

Preview Give feedback

1. Squashing of public data writes should not occur in typescript #5012
   +0
   
2. recombination of revertible and non-revertible effects should not occur in typescript #5013
   +0
3. Ensure values of gas used in teardown are constrained to be correct #5058
   +0
4. Hash logs inside Noir #1165
   A-security C-aztec.nr +2
5. Clean-up techdebt around uses of side effect counters in kernel tests #5179
   +0