[DSE] Simplify isGuaranteedLoopInvariant() (NFC)

We have Value->stripInBoundsConstantOffsets() which does what we
want here, but the inbounds requirement isn't actually necessary.
We should probably add Value->stripConstantOffsets() as well.