Rewrite parts of the documentation.

Describe every expect method with a single test.
Revert changes of 128553fc50758932f02fc6e13a3e25ef6a711152. Fixes #687.

about handling assumes and asserts in conjunction with the
ExpectedException rule.