feat: Cross-block copy propagation

The current `copy_prop` only works within a single block. In SSA form, every `Assign { dest, src }` is a global fact.
`dest` is defined exactly once and always equals `src` at the point of definition.

Author: Arnaud Riess