test(integration): refresh red frontiers from remote show

Author: Stevengre

kmir/src/tests/integration/data/prove-rs/show/closure-fnonce-single-arg.repro.expected

@@ -3,10 +3,9 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (63 steps)
+│  (89 steps)
 └─ 3 (stuck, leaf)
-    #setTupleArgs ( 2 , Integer ( 41 , 8 , false ) )
-~> #execBlock ( basicBlock ( ..
+    #traverseProjection ( toLocal ( 3 ) , thunk ( #applyBinOp ( binOpAdd , Aggregate
     span: 69
 
 

kmir/src/tests/integration/data/prove-rs/show/iter-map-eq-copied-take-thunk-frontier-fail.repro.expected

@@ -3,10 +3,10 @@
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │   span: 0
 │
-│  (1691 steps)
+│  (867 steps)
 └─ 3 (stuck, leaf)
-    #traverseProjection ( toLocal ( 1 ) , thunk ( rvalueRef ( region ( ... kind: reg
-    span: 227
+    ListItem ( thunk ( #decodeConstant ( constantKindZeroSized , ty ( 88 ) , typeInf
+    span: 273
 
 
 ┌─ 2 (root, leaf, target, terminal)