SYNCSRC Verifiably Insecure