test manipulated bit multiplication fails verification #4469

Job	Run time
miri	2m 58s
Measure coverage	12m 27s
Basic Checks	10m 43s
Additional Builds and Concurrency Tests	8m 38s
Release builds and tests	5m 8s
sanitize (address)	6m 43s
sanitize (address, multi-threading)	6m 9s
sanitize (leak)	3m 38s
sanitize (leak, multi-threading)	5m 2s
	1h 1m 26s

Provide feedback