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