Text this: Scalable automatic linearizability checking.