aco/cssa: speed-up lowering to CSSA by updating live variables instead of recomputing them
This series also adds an option to validate live variables after some passes made progress.
Based on !30120 (merged), but I also had a working version without that MR. So, it's not a prerequisite, but if we are going to accept !30120 (merged), then it should land first.