Fix array refinement: use actual SAT model values in get()#8842

kroening merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:arrays/refine-gettautschnig/cbmc:arrays/refine-getCopy head branch name to clipboard