Implement under- and overapproximation of treewidth.
Remove cluttered algorithm classes, and have pginfo dump all info