Explore c++26 contracts

[malachib]

See if backporting this makes any sense https://en.cppreference.com/w/cpp/language/contracts.html

Example use case https://en.cppreference.com/w/cpp/container/deque/pop_back.html