Add vertex highlighting feature to graph visualizer.
Add test for crown reduction logic.
minor graph visualizer refactor
Take into account the size boundary when looking for a crown.
Add logic for crown reduction.
Add test for size boundary.
Refactor preprocessing to work on immutable vertex collection.
Settle on edge contraction method in preprocessing.
Remove unused Forest concept.
Refactor `index` out of functional graph iterators.
Add Petersen graph.
Add test case for bounded search tree. Fixes are needed.