Bump pypy to 7.3.1, verify hash (#6070)

As of pypy 7.3.0, we can utilize the official pypy project as opposed to
the previously used "portable-pypy" distribution.