Add property-based tests and coverage configuration#2

SaridakisStamatisChristos merged 2 commits intomainSaridakisStamatisChristos/kll_sketch:mainfrom

codex/coordinate-state-of-the-art-modernization-planSaridakisStamatisChristos/kll_sketch:codex/coordinate-state-of-the-art-modernization-planCopy head branch name to clipboard