verify sequential consistency