proper-testing /properErlang918165PropEr: a QuickCheck-inspired property-based testing tool for Erlangerlangrelease-badgecodecov-badgeerlang-versions-badge