Thanks to the author for this OCD-level work. I always find it interesting that netlists out of die images are precise enough to run hardcore test routines.
Z80 has a special place in my heart because of Speccy.
To give proper credit (I think it's also mentioned in the blog post), the Z80 netlist was actually extracted by the visual6502 project. The data files are available in the visual6502 github repository:
https://github.com/trebonian/visual6502