Fix bitvector tests for coq#16748

Merged Michael Sammler requested to merge msammler/coq_16748 into master

Merge request reports