Drop CFG::Algorithms.
Bail out when verifying detached insns.