Improve discoverability of `satisfies`

[scordio]

As of today, the documentation thoroughly explains how to use Soft Assertions, but there is no mention of satisfies, which can be a less intrusive option for simpler use cases.

We should generalize the section on Soft Assertions, describing the challenge of performing many assertions without stopping the test and demonstrating how satisfies and Soft Assertions can help solve it.

Related threads on BlueSky:

• https://bsky.app/profile/jqno.nl/post/3ldpvagqqes24
• https://bsky.app/profile/oldjavaguy.bsky.social/post/3lwhthdggtk2v