fast-check
https://fast-check.dev/