Oh, I guess the next release will need to be 0.8.0 anyway, since droste-scalacheck and droste-laws have runtime dependencies on ScalaCheck, which we're updating from 1.13 to 1.14. In any case I think it's handy to have the MiMa checking in place.

Yep on both counts.

These stack overflows in the List and Stream tests are annoying—I ran into similar failures in Circe after 1.14.1 to 1.14.2 (I think it was that bump?). I guess we should probably reduce the Vector size instead of just the List or Stream size.

Yea, agreed. Feel free to merge regardless of the failing test-- we can fix that in another PR.

I've reduced the size in the Arbitrary instances in ListTests to match the new value in StreamTests.

I spent some time looking at more principled ways to fix the problem, and it seems like using AlgebraM[Eval, ...] and CoalgebraM[Eval, ...] for the List-ListF conversions might work, but I think that should be part of a bigger push for stack safety for those types, and the smaller size seems like a reasonable workaround to unflake the tests for now.