Convexity check

Polygon mutations and new random polygons are now checked for convexity.
It does go on until it is convex:  "while not convex"