Remove array allocations that are trivially dead

[pchintalapudi]

Some arrays are only ever stored to, and can be safely removed without affecting program semantics. This PR removes such dead arrays by reusing AllocOpt infrastructure to remove dead objects. This also sets up future stack-based array optimizations by providing a method to delete newly dead arrays.

Depends on #43384 , #43547 , #43487 , and #43057 for array/escape analysis infrastructure improvements.

[aviatesk]

Can you change the base branch from which you made changes specific for this PR (for easier review)?

At a glance, it looks like you miss some cases when array allocations are "unsafe", e.g.:

function foo()
    a = Vector{Int}(undef, -10) # shouldn't be eliminated, otherwise it changes the error semantics
    nothing
end

Given that this essentially needs some shape information, I guess we can implement this at Julia level relatively easier?
But your work on LLVM level escape analysis (and shape analysis?) may enable further optimizations though.

[pchintalapudi]

Since my branches are part of a fork, I've created a PR comparing this one and the branch elimination PR immediately before it here: pchintalapudi#1

[pchintalapudi]

Converting to draft because #43487, #43547, and #43384 are still under review.