Spectral Labs identifies Syntax vulnerability, pauses contracts