make c1 BlockMerger use IR::verify only when necessary

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