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`.
I did this to more easily identify the failing case.
I will remove all this code and do it another way: pass a case ID string to identify the test case.