Spectral Labs rileva vulnerabilità di Syntax e sospende contratti