support non-constant offsets when deriving handles for printing

To support printing arrays without unrolling, we will need to handle offsets
that use a loop counter.

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