[ValueTracking] fix bug computing isKnownToBeAPowerOfTwo() with arithmetic shift...