Add branch optimization pass for Venom IR#20

Open

charles-cooper wants to merge 6 commits intomainfrom

Commits on Dec 25, 2025

Add helper lemmas for branch optimization correctness

charles-cooper
and
claude
committed
Restructure transform_block_correct proof to use transform_block_execution_equiv

charles-cooper
and
claude
committed