Liam DeVoe

Going to take over this pr to also include a testing revamp. I've resolved merge conflicts and will set up a dev account for myself in the coming days so...

Have cleaned this up and tested everything against my own dev account. Let's get this in and finally check some forum endpoints off the list. Thanks for the base PR...

Thanks for the report! As we can't reproduce without more information, I'm going to close this issue for now. If you can provide more information or a reliable reproduction, we'll...

Yup, I think the correct path forward here is clearly migrating inquisitor to the ir, which should resolve this in passing. Said migration could very likely be worked on at...

@Zac-HD roger, thanks! I'll likely end up working on this after the datatree ir migration. (which is slower than I'd hoped, but I am chugging along.)

I'm taking a look at getting this working. I've got a branch with full shrinking + database playback support for `PrngProvider` (but not crosshair; see below): https://github.com/HypothesisWorks/hypothesis/compare/master...tybug:hypothesis:provider-plugins-2?expand=1. I took a...

Thanks @pschanely! Especially for the elaboration on the exceptions. Hypothesis' usage of `DataTree` is the result of both of the current crosshair-hypothesis errors mentioned above, due to DataTree's fresh ConjectureData...

I'm also hopeful we're almost there. I'll continue working here and try to get something which works for both crosshair and simpler backends. (thanks for your fixes above, by the...

I pushed an approach of tracking the ir tree structure and only ramming it through to a buffer when it finds a counterexample, as discussed. It's *so* close, and works...

OK, sorry, my print is at fault above; that's triggering reification outside the context manager. There is an issue here somewhere, because I only added that print to debug the...