C++ is proposing pre- and post- conditions to verify functions in C++26; notably, Bjarne Stroustrup (C++ creator) is opposed