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