Add basic tests for naive VC.
Fix graph copying logic.
Fix NaiveVC to find a cover correctly.
Add graph naming, parameterize display tools and output formats.
Fix graph copying.
Ignoring img output in vc package.