Allow bit-vector sorts to be allocated dynamically

This is needed by those who can only use UnsafeExpr.