Property-based testing of batch-invariant operations | Dark Hacker News