Randomized SQL Testing in CockroachDB | Hacker News Reader