Bump verifai dependency; drop pytest upper bound

[dfremont]

I ran CI manually now that the new VerifAI release is out, and everything passed. So this PR bumps the requirement so that we disallow old versions of VerifAI which would cause both pygame and pygame-ce to get installed.

Also, in my own testing I noticed that pytest 9 works fine with our hooks, so I've removed the pytest upper bound: if a new version breaks something we should notice in CI and can then fix it (it's only a dev dependency anyway).

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 89.76%. Comparing base (a8f3bce) to head (f31c8ce).

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #466      +/-   ##
==========================================
+ Coverage   89.73%   89.76%   +0.03%     
==========================================
  Files          48       48              
  Lines       13226    13226              
==========================================
+ Hits        11868    11872       +4     
+ Misses       1358     1354       -4     

see 4 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.