[WinEH] Model catch object write in MIR

[nikic]

To capture the idea from #66988 (comment):

Currently, the potential write to the WinEH catch object at the point of the invoke is not properly modeled in MIR. We could fix this by adding a reference to all possible catch object frame indices to the corresponding call instructions. This would make stack coloring correct out of the box.