Distributed Synthesis of Fault-Tolerant Programs in the High Atomicity Model