some SSAIR pass improvements: (#43221)
- improve type stability around `perform_lifting!`
- avoid using mutable `RefValue`s
- add docstrings for `lift_comparison!` / `canonicalize_typeassert!`
- fix `@nospecialize` annotation for `simple_walk_constraint`
