reject scalarsets with bounds that do not fit in a UL

This restriction is a bit arbitrary, but it allows us to later safely call
get_ui() on scalarset bounds. In practice, no usable model should run into this
limit.

Github: related to #194 "clearer CEX output with scalarsets"