Text this: Verifying Linearisability