optimizer: move inlineable constants into argument position during compact!-ion

[aviatesk]

In code like below

Base.@assume_effects :nothrow function erase_before_inlining(x, y)
    z = sin(y)
    if x
        return "julia"
    end
    return z
end

let y::Float64
    length(erase_before_inlining(true, y))
end

the constant prop' can figure out the constant return type of
erase_before_inlining(true, y) while it is profitable not to inline
expand it since otherwise we left some !:nothrow callees there
(xref: #47305).

In order to workaround this problem, this commit makes compact!move
inlineable constants into argument positions so that the such
"inlineable, but safe as a whole" calls to be erased during compaction.
This should give us general compile-time performance improvement too
as we no longer need to expand the IR for those calls.

Requires:

• irinterp: refine :nothrow only when it is not proved yet #50764
• effects: fix :nothrow modeling of getglobal #50765
• ssair: compact! constant PiNode #50768

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[vtjnash]

seems good to me

[nanosoldier]

Your benchmark job has completed - possible performance regressions were detected. A full report can be found here.

[aviatesk]

@nanosoldier runbenchmarks("inference", vs=":master")

[nanosoldier]

Your benchmark job has completed - no performance regressions were detected. A full report can be found here.

[aviatesk]

The benchmark result looks nice.