MANTA-20 uniform SVFinder self-edge handling
MANTA-20 adjust SVFinder loop to handle non-spanning cases
make verbose edge output match edge debug format