lighter-checks

Size verification to the change so results ship. Use when checking has started to loop, when a check is about to re-run against code nothing touched, when a second tool would prove what the first already proved, or when the user says stop over-checking, just ship, or this is taking too long to verif