Prevent iFrame from instantiating existentials under updates.

I think these cases were accidentally left out in !1035 (merged).

We've only just managed to get to most of our iris proofs in our 8.19 bump and didn't notice breakage from this omission earlier.

/cc @snyke7