pickFrontier considering refinement chane
two merge Options prototype implemented in strictLearningGuide
1. Fixing a bug of UnrealizedPath finding in StrictLearningGuide
2. DCVertex drawing style changed