had to make this commit cause git fukced up the merging process of the previous one
HOLY SHIT MONSTER BUG fixed in GraphSearch, did one task twice instead of
two different tasks (proliferation backwards was borked)
optimized Minimizer
added some tests
Made some small fixes to GraphSearch and added an assertion to Graph
Merge branch 'lastbranch'
Merge branch 'minimizer-fix'
Removed debug output