Expanding on fuzz-testing.

I use it for SAT and I actually used it on STP too, that's how I
generated a case that triggers the bug where a function returns no value
even though it should.