This PR proposes to perform destination propagation on MIR. Most of the pass was fully rewritten by @JakobDegen in #96451. This pass is quite heavy, as it needs to perform and save the results of a...