Linked Presentation: Verifying vMVCC, a high-performance transaction library using multi-version concurrency control