snoop_inference is broken on latest after stackless inference change

[NHDaly]

We should be able to restore basically the old behavior with the new stack.

I wasn't certain how to maintain the old code, since it was working with incomplete and inaccurate information available. Now all required information is available in function typeinf(interp::AbstractInterpreter, frame::InferenceState), so this could be reimplemented there in some form.

Originally posted by @vtjnash in #55575 (comment)

[NHDaly]

CC: @timholy

[maleadt]

FWIW, this also affects PrecompileTools.jl.

[vchuravy]

In particular https://github.com/JuliaLang/PrecompileTools.jl/blob/61138b566718652a4033f528ff2dcabcf4cff2cb/src/workloads.jl#L88-L100

[KristofferC]

Can we confirm that PrecompileTools and SnoopCompile works properly brute closing this?