kore-exec profile: why are there so many calls to prove?

[ana-pantilie]

This profile comes from #2757, on a 2-character input string. The proof takes ~800ms.

valid-jump-dests.json.

[ana-pantilie]

Note: this is a regular Haskell profile (not a kore-prof one). We need to see if this is still happening.