State machine testing with Hedgehog | Hacker News Reader