Update hypothesis to 3.31.2

[pyup-bot]

There's a new version of hypothesis available.
You are currently using 3.31.0. I have updated it to 3.31.2

These links might come in handy: PyPI | Changelog | Repo

Changelog

3.31.2

---

This release fixes some formatting and small typos/grammar issues in the
documentation, specifically the page docs/settings.rst, and the inline docs
for the various settings.

---

3.31.1

---

This release improves the handling of deadlines so that they act better with
the shrinking process. This fixes :issue:892.

This involves two changes:

1. The deadline is raised during the initial generation and shrinking, and then
   lowered to the set value for final replay. This restricts our attention to
   examples which exceed the deadline by a more significant margin, which
   increases their reliability.
2. When despite the above a test still becomes flaky because it is
   significantly faster on rerun than it was on its first run, the error
   message is now more explicit about the nature of this problem, and includes
   both the initial test run time and the new test run time.

In addition, this release also clarifies the documentation of the deadline
setting slightly to be more explicit about where it applies.

This work was funded by Smarkets <https://smarkets.com/>_.

---

Got merge conflicts? Close this PR and delete the branch. I'll create a new PR for you.

Happy merging! 🤖

[coveralls]

Coverage remained the same at 100.0% when pulling 4114539 on pyup-update-hypothesis-3.31.0-to-3.31.2 into 416bd35 on master.