drc: more precise invalidation checking for the invstub case