Pipeline rearrange

[gtrepta]

#3973

This factors a few compiler pipeline stages out from between a pair of duplicate stages. If we're able to eliminate the duplicate stages, this change will help narrow down what changes need to be made to do that.

[ehildenb]

@gtrepta was this tested downstream with KEVM and KMIR and KWasm? Feel free to add back automerge if so!

[gtrepta]

@gtrepta was this tested downstream with KEVM and KMIR and KWasm? Feel free to add back automerge if so!

@ehildenb KEVM and KWasm checked out, their definition.kore files with this change were identical to the ones without the change. KMIR's build system is using some temporary folders which cause different location attributes in the emitted kore, making it harder to determine whether or not they're semantically identical. I'll see if I can isolate the stage of the build that just calls kompile and then make the comparison from there.

[ehildenb]

@gtrepta KEVM and KWasm should be good enough I guess, though it would be good to get in the habit of also checking KMIR for stability. I guess adding the relevant files upstreamed here (with kompile -E like we've done with KEVM/KWasm) can be done in a follow-up PR to make later changes easier.