initial cut at printing scalarset array indices symbolically

This sort of works, but it looks very confusing in a diff mode counterexample
trace (the default) because it tries to compare to previous values of the array
elements also using the schedule from the *successor* state rather than the
schedule from the *previous* state.

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