Convexity check

Polygon mutations and new random polygons are now checked for convexity.
We can live with it for now, but we do want to change this since we have to provide the code to ms Redi etc.