Add formal verification to your code review guidelines

Here is a prompt for you:

"State the property that must hold and enforce it at its owner using types, constraints, and behavior tests. Consider property based testing for broad input spaces, and formal verification or model checking for critical logic with a precise specification. Formal verification claims must identify the checked property, assumptions, implementation revision, and reproducible checker result. Review the specification independently; do not weaken the intended behavior to make a proof pass."