count_leading_zeros of 0 is now the bit-width

was previously undefined