Integration with Supposition.jl?

[jariji]

https://github.com/Seelengrab/Supposition.jl/ is still new but is based on the excellent hypothesis.py and is shaping up to be very useful.

Supposition is intended for testing within a module and it's great for that. InterfaceSpecs is useful for cross-module interactions. I wonder if there's some kind of integration of the two that would be profitable.

I don't have anything in particular in mind, just a feeling there could be something here.