ff & small fixes (#82)

* ff & small fixes

small fixes:
* handle CONST_INTEGER
* handle change in uninterpreted sort printing
* allow cast from length-1 bit-vecs to booleans

* add --cocoa to CI

Author: alex-ozdemir

.github/workflows/ci.yml

@@ -50,7 +50,7 @@ jobs:
     - name: Build cvc5
       run: |
         cd cvc5/
-        ./configure.sh production --auto-download --python-bindings
+        ./configure.sh production --auto-download --python-bindings --cocoa
         cd build/
         make -j${{ env.num_proc }}