Text this: Modularising Verification Of Durable Opacity