MemoryBuiltins: update comment; NFC

This comment references behavior that was removed in
ccae43a2, which is a commit from 5 years
ago. It seems safe to assume that that behavior won't be coming back
soon. If it does, we can readd this part of the comment :)