Reapply r257105 "[Verifier] Check that debug values have proper size"