Large-scale structure phenomenology of viable Horndeski theories | Synapse