during diff printing, track the previous handle separate to the current

This is necessary to handle scalarset-indexed arrays correctly. When comparing
to the previous value, the handle needs to be independent because it is mapped
through a different schedule.

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