If anyone else wants to see how property testing works in Go, this article has some nice examples: https://blog.gopheracademy.com/advent-2017/property-based-te...