More robust peering

A few peering tweaks, most notably to initial peer discovery and the resynchronization loop.

This partially addresses #435 (closed).