How did you solve the problem of initial sync?
Suppose one server goes down for maintenance. When it comes up it does
not know what new leases have been given by the other server which was
all the time up.
There are chances that later it gives an IP already given by the other
dhcp server. The leases (while down) were not synced.
I don't think there is an option for initial sync (like pfsync) and even
if you scp the lease file you can't be 100% sure since you might miss
something while copying and starting service.
This is the primary reason I've sticked with isc-dhcpd and failover peer.
G