support compressed bit vector
rename compressedBitVec to compressedExpression
operator<<, >> support compressed version
fix common.mk
reduce warning
use uint32_t/uint64_t instead of mp_limb_t