org.pragmatica-lite pragmatica 1.0.0-rc1 4.0.0 testing jar Pragmatica Lite Testing Property-based testing library for Pragmatica Lite org.pragmatica-lite core org.junit.jupiter junit-jupiter-api test org.junit.jupiter junit-jupiter-engine test org.pragmatica-lite test-logging test