smallcheck: cleanup
Do not use threads for smallcheck

yieldProgress should be fast enough
QuickCheck support

Fixes #6