I didn’t read the paper but can’t this just be additionally with doing the actual muls? Or was it a nonconstructive proof?
From the "Introduction" section of that paper: "The constants and thresholds in the construction are extremely large".
(And verifying if the algorithm multiplies correctly or not is the less-interesting part of this, anyway. Gets you no closer to verifying the complexity result).