Enable custom preconfirmation violation prover

[dantaik]

At Taiko, we aim to enable transaction preconfirmation with the following guarantees:

1. The transaction is included in the Taiko block at a specific position.
2. The transaction will not revert.

Could we define a common interface, so that when we implement our own contract, it can seamlessly integrate with the AVS-related code without requiring changes to your existing code?

[dantaik]

Please help me review this PR taikoxyz/taiko-mono#18222. I will work on an implementation if your code can support this interface

[AnshuJalan]

I need to take a proper look here. I'll get back to you on this

[dantaik]

Please don't spend time on it. I changed my mind:D