This patch updates the type annotations for "tuples()" and "one_of()"
so that type-checkers require its arguments to be positional-only, and
so that it no longer fails under pyright-strict mode (see issue
#3348). Additional changes are made to Hypothesis' internals improve
pyright scans.
The canonical version of these notes (with links) is on readthedocs.