The snapshot approach they're using with Nyx is clever but the real buried insight here is that Bitcoin Core's existing fuzz harnesses aren't pure functions -- global st