slow hypothesis tests are too slow

[d-v-b]

see https://github.com/zarr-developers/zarr-python/actions/runs/14613337704/job/41002901719#step:7:296, this test was running for 20+ minutes and failed. Something has changed about the test itself or our deployment of test resources. Either way we should fix it.

[TomAugspurger]

HypothesisWorks/hypothesis#4364 noted a performance regression in hypothesis. Not sure what version that was but IIRC it's fixed now.

We might want to use something like pytest-timeout to limit the runtime of those tests regardless.

[dstansby]

Currently running at > 30 mins and counting over at https://github.com/zarr-developers/zarr-python/actions/runs/14883916292/job/41798353654?pr=3041. Would be great if someone can think of a way to speed up the hypothesis tests.

[dcherian]

I can take a look next week. One option is to run the stateful tests (which are the slowest one) only nightly.