A test run of the GLM 5.3 model found eight smart contract bugs in the historical Synthetix code corpus