After running for the last week I haven't had any issues with not having a failover DHCP server defined. Each firewall takes over their duties as expected when their partner isn't available. I would like to get some final confirmation though; if anyone has been through this (CARP + DHCP server failover) please tell me if my setup seems strange.