add BinaryExpression::getMaxBitLen
use cybozu::BitVector instead of BinaryExpression