Neo4j is not sharded, the entire data must reside on a single server. Neo4j can have full replicas, which is not horizontal scalability. A distributed system is typically understood to be sharded, not just replicated.
Amazon Neptune’s initial release didn’t mention ACID transactions. I’ll update the blog to mention that they do provide ACID compliance.