[P3361R0](https://wg21.link/p3361r0) Class invariants and contract checking philosophy (Esa Pulkkinen)