[Documentation] Express that we're aiming to be sequentially consistent and not linearizable

Maybe should also express that we’re aiming to be sequential consistent and non linearisable under specific durability requirements and how to configure them via the flags passed to the testing framework.

Explain that there me be linearizability failures, but we aim to pass when using the seqchecker.