Assumptions failures are shown within the ignored tests.
Improved doc.