Problem definition
We want to enhance the e2e tests with the architecture that will enable us to test whether CometBFT respects the ABCI++ grammar. The idea is to run the testnet, log the ABCI calls, and then do the post-mortum testing of the logs.
DoD