ConstraintAnalysis: Properly handle local changes (#8878)

Track references of a local among the constraints of the rest. When a
local is updated, remove its stale references (claims about its old value no
longer hold).

Also, formalize how we represent info: when we see `x == y`, we now
store that on both `x` and `y`, ensuring a single place where we can find all
constraints about a local.