Assumptions failures are shown within the ignored tests.
Improved doc.
Merge branch 'R4_3-show-skipped'