But then wouldn't they need to coordinate changes to the same data items? (I'm not too familiar with the Datomic transaction model) If so, making transactors scale would require sharding.

No, the datomic videos suggest only one transactor can be operational at a time. Not sure how hard it would be to "switch over" to a second transactor waiting in the wings.