v7.2.7
Ships the verdict tightening: at rung 4 and above, a check with no expect and a constant-emitter check grade uncheckable instead of verified.
Ships the verdict tightening: at rung 4 and above, a check with no expect and a constant-emitter check grade uncheckable instead of verified.