Currently, if a tx hook fails for incoming messages, this will lead to a unrecoverable state because the message hash will not be added to the honored messages list.
Therefore the L1 action state requirement will never be met.
To fix this, we have to do three things:
- Assert tx hooks failing only for non-messages.
- For messages with failing tx hooks, append the message hash but throw away everything else.
- Adapt the block production to account for both previous proofs