Go stdlib has property testing built it. It's not as powerful as some quick check frameworks, but it's built right in. I wrote an article on it.

https://earthly.dev/blog/property-based-testing/