Hi Tim, thank you for this. Im away but I will still be online to help troubleshoot. Do you have all the files you need from John? We have a repository, but it only contains the digital part of our design, which has been through Matt's course:
https://github.com/ellen-wood/wrapped_counter
(Our .mag contains that wrapped_counter as a subcell)