added bit-width threshold for MultLeadingBit bv rewrite rule