The points awarded by the "Check" script (for SearchTree.v) are mostly irrelevant to the actual specification of this homework.