Revert the change to the use of unbounded arrays

This was introduced in #6194 but reported as breaking in #6230.

Author: martin

src/solvers/flattening/boolbv.h

@@ -47,7 +47,7 @@ class boolbvt:public arrayst
     message_handlert &message_handler,
     bool get_array_constraints = false)
     : arrayst(_ns, _prop, message_handler, get_array_constraints),
-      unbounded_array(unbounded_arrayt::U_AUTO),
+      unbounded_array(unbounded_arrayt::U_NONE),
       bv_width(_ns),
       bv_utils(_prop),
       functions(*this),