The current proposed implementation implicitly "burns" the liveness bond for the offender prover by locking it inside the contract.
We might want to:
- Explicitly burn it(by sending it to the zero address)
- Move it to the treasury(or a part of it)
- Even better allow rollups to customize this behavior