Test with the fuzzer

[sir-wabbit]

There are most certainly some weird corner cases that I missed in polyopt and orphan checking, which would likely result in a MatchError during compilation. We can insert extends Typeclass, <: Typeclass, @minimal(...), and @orphan all over the place in the fuzzer output and see what we missed.