added test to verify serializability (or linearizability or whatever ;))