Verifying Strong Eventual Consistency in Distributed Systems