Also merge var with unchanged bounds. (#46757)
* Also merge var with unchanged bounds.
The current `env` might not be valid if the var's bounds get fixed by another Unions decision.
* Replace `v->var->lb` with `simple_meet`
* Remove the unneeded NUll check.
Co-Authored-By: Jameson Nash <vtjnash+github@gmail.com>
