Auto merge of #109087 - cjgillot:sparse-bb-clear, r=davidtwco

Only clear written-to locals in ConstProp

This aims to revert the regression in rust-lang/rust#108872

Clearing all locals at the end of each bb is very costly.
This PR goes back to the original implementation of recording which locals are modified.