[Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour. Read more