Convexity check

Polygon mutations and new random polygons are now checked for convexity.
This is correct & intended indeed