Once OrderedInstructions is able to auto-update with D51664, it makes us
much easier to invalidate Instruction Precedence Tracking: we only need to
drop cached info when we may introduce or remove the first implicit control
This patch introduces a method that allows surgical invalidation of cached info
in LoopSafetyInfo only when it is needed.