topic proposal: property-based testing framework

[sophiecollard]

A simple property-based testing framework, with generators provided for primitive types and collections and the ability to define generators for your own custom types.

Advanced features like shrinking may have to be skipped to keep the project reasonably small though.

[Anton-4]

Linking some earlier discussion about property-based testing.

[gvwilson]

see also #13, which was originally a proposal to do a fairly conventional xUnit-style unit testing framework but which has morphed into building a logging framework.

[gvwilson]

Thanks for this proposal - please create a subdirectory called proptest under the project root and put your code there when you have a version 0.0001 along with an index.md Markdown file with notes to yourself. Cheers - Greg