Add a functional test for sequential consistency