Regression checks for flag convex closure

The implementation lives in EGZ.ConvexFlag.ConvexHull. These checks keep the two downstream consequences used by decomposition visible at the consistency layer.