Resolve "Refactor tests"

Closes #27 (closed)

This merge introduces property-based tests with Kotest for the utility libraries. Discovered bug reported in #41 (closed).