change the behavior with sanity checking verification rules

[jaypantone]

If verification rules (like RIE verified) are unexpanded, then sanity check fails. I think instead it should just print that it couldn't sanity check, like currently happens for other rules.