I'm using #FsCheck in C# for property-based testing, and it's pretty good so far. A few things I don't like:
• Since FsCheck is F#-based, it displays arbitrary inputs in F# syntax when it fails to satisfy a property.
• There is no way to print an intermediate evaluation of a property (like Hedgehog's annotate/footnote).