Fixes for pyright on strict mode

[brandon-leapyear]

✨ This is an old work account. Please reference @brandonchinn178 for all future communication ✨

---

[Zac-HD]

At a high level, we want users to be able to strictly type-check their code which uses Hypothesis, so I'll be happy to accept this PR.

On an implementation level, I'd like to have a regression test to stop us from breaking it accidentally (like we did with --junit-xml 😅). Happy to leave the details of that up to you, since unlike @rsokl I haven't used pyright much.

[brandon-leapyear]

✨ This is an old work account. Please reference @brandonchinn178 for all future communication ✨

---

Will do! Just added tests. Will be keeping this PR in draft mode as I continue working through our company codebase and find things that come up

[brandon-leapyear]

✨ This is an old work account. Please reference @brandonchinn178 for all future communication ✨

---

@Zac-HD actually, I think this is sufficient for us for now. I probably won't be able to continue typechecking our company codebase for a bit, so I think this is good enough for now, and I can open up more PRs later.

Specifically, I think it'd be good to merge the new pyright tests in sooner rather than later.