Randomized SQL Testing in CockroachDB | Dark Hacker News