Add MiMa

[travisbrown]

Put this together to verify that the current master could be published as 0.7.1. The exclusions are needed because of a MiMa bug I reported yesterday.

Because the project is pre-1.0 I haven't added the bincompat checking to the build, but you can confirm it manually like this:

sbt ++2.11.12 mimaReportBinaryIssues
sbt ++2.12.10 mimaReportBinaryIssues

[travisbrown]

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.

[andyscott]

Yep on both counts.

[travisbrown]

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.

[andyscott]

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

[travisbrown]

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.