Rework state loading so update path is used.

This ensures the name server gets all of its records loaded.
Fix formatting.
Fix infinite recursion in delegation.

Prints resolver used. Also fixes some bugs in the name maps and the formatters
for ARPA addresses.