Improve emit=stable-mir

We have merged PR #117745 in the rustc repository, which enables users to use the dump() functionality for inspecting functions. Additionally, it provides the -Zunpretty=stable-mir to the compiler. However, this implementation is still in its early stages. Our ultimate goal is to emulate the MIR output, albeit in a stable_mir format. This approach allows us the flexibility to deviate as necessary, tailoring the output to meet our specific requirements.

I would like to use this issue to follow development and improvements to emit functionality of stable_mir.

• Fix binder printing, it looks ugly now we could mimic mir to pretty print this
• Once https://github.com/rust-lang/rust/pull/118015 lands we should print ty of Place
• We should pretty print TyKind::Alias and TyKind::Bound

Will edit this as I found more issues.

Start by reviewing PR #117745 and the current -Zunpretty=stable-mir and dump() functionality. Compare its output with MIR, then investigate the listed binder, Place type, TyKind::Alias, and TyKind::Bound printing issues. Done means the stable_mir output addresses the applicable checklist items.