More test cases for disjoint

* Add a few more test cases, some of them related to the recent bug in the Cartesian segment-segment intersection strategy (see PR #175).
* Replace calls to `BOOST_CHECK` by calls to `BOOST_CHECK_MESSAGE`.
BOOST_CHECK_MESSAGE is a macro which accepts streaming.
See e.g. test/algorithms/overlay/self_intersection_points.cpp :
BOOST_CHECK_MESSAGE(false, "Case " << case_id << " there are self-intersections detected!")