fix(security,verify): keep the security reference-alias read tolerant but LOUD, narrow verify with a named finding

fix(security,verify): keep the security reference-alias read tolerant but LOUD, narrow verify with a named finding #2544