Stochastic dynamics at the back of a gene drive eradication wave | Synapse