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`.
OK, passing a case ID is quite convenient indeed, I do that all the time...