A Wrong Ruler Is Worse Than No Ruler: Verifying the Checks You Trust