Rewrite parts of the documentation.

Describe every expect method with a single test.
Handle expected AssertionError and AssumptionViolatedException.

Fixes #687. #121 is still fixed. (Pull request #323 was too rigid.)