refactor: consistently use variable `w` for the width of a bitvector#646

alexkeizer wants to merge 3 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom

opencompl:bitvec-width-var-refactoropencompl/std4:bitvec-width-var-refactorCopy head branch name to clipboard