Fix BitVector shifts (copy #2731) #2875

Job	Run time
Build and Test	0s
Build and run limited tests (macOS, 8.6)	1h 0m 24s
Build and run limited tests (macOS, 8.8)	59m 45s
Build and run limited tests (macOS, 9.0)	51m 36s
Build and run limited tests (macOS, 9.2)	42m 19s
Build and run limited tests (macOS, 9.4)	1h 1m 44s
Build and run limited tests (macOS, 9.6)	1h 2m 28s
Build and run limited tests (windows, 8.6)	30m 17s
Build and run limited tests (windows, 8.10)	32m 23s
Build and run limited tests (windows, 9.2)	24m 43s
Build and run limited tests (windows, 9.4)	26m 16s
Build and run limited tests (windows, 9.6)	1h 49m 28s
All jobs finished	10s
	9h 21m 33s

Provide feedback