How to do property-based testing of a high-perf spreadsheet | Hacker News Reader