IR::Verify is not a cheap operation, but in many places in BlockMerger, it is run where demonstrably no change has taken place, or straight out being run multiple times after each other. Let's reduce usage to the minimum that still covers the verification that does need to happen