Added Connected FVS, added better support for cancelling algorithms, maybe, implemented more algorithm environments, fix treewidth bug by adding proper cancel features