microspec-0.1.0.0: Tiny QuickCheck test library with minimal dependencies