Remove all references to `bv2int` #1361

Job	Run time
Boogie CI (Debug, batch_mode=True)	9m 21s
Boogie CI (Debug, batch_mode=False)	9m 48s
Boogie CI (Release, batch_mode=True)	11m 4s
Boogie CI (Release, batch_mode=False)	13m 48s
	44m 1s

Provide feedback