Improve readability of ComparisonFailure
Mention about using assumptions in Theories
Merge pull request #920 from AlexYursha/improve-assumptions-docs

Improve documentation on using assumptions.
Merge pull request #919 from AlexYursha/comparison-failure

Improve readability of ComparisonFailure