[lite] Exercise with Antithesis

[shikhar]

Workloads:

• Linearizability verification (https://github.com/s2-streamstore/s2-verification)
• All the SDK integration tests

[shikhar]

@sgbalogh upgraded verification to new sdk so it works with lite https://github.com/s2-streamstore/s2-verification?tab=readme-ov-file#running-against-s2-lite

needs a chaotic env to make it more meaningful