Corgi is a novel framework for testing emergent properties of bitcoind networks | Hacker News Reader