Fix first set of merge bugs
Remove required edge splitting
Add a small piece of debugging for congruence class printing
We were not rechecking the top of the valuestack after popping it
Landing pads are apparently not side-effecting, emulate old GVN exactly
Fix ordering bug and expression class insertion bug
Note a bug