Verification of Competitive Data Structures in C++

Let's talk about the VK team's tool for verifying the correctness of competitive data structures.