Adventures in Automated Smart Contract Testing: A Spark Is Born | Dark Hacker News