Text this: Testing for linearizability