Following instructions here: GitHub - dspsandbox/Pynq-Redpitaya-125 leads to better results.
Built a project from scratch in Vivado 2023.2 to control the LEDs. Include the QICK procedures extracted to ip.py to instantiate drivers.