Various bugfixes and performance updates.
Merge branch 'master' of github.com:Humhu/IntelligentDesign
Added MinMaxHeap for bounded search queue size.