Dead loop deletion not working due to loop state edge passthrough

The dead loop in [dead_loop_deletion.bril](https://github.com/egraphs-good/eggcc/blob/main/tests/passing/small/peggy_comparison/dead_loop_deletion.bril) is not optimized away. Related to #607 