Realized there’s no reason to have a Z register at all, X and Y need it since their inputs both come off the shared XY input bus, but with Z every time we load it we immediately then use the result to load elsewhere. Eliminated the Z register (turning it into a Z bus instead) all unit tests still pass.