First version of the code that actually _has_ synchronized neighbor state. TO DO: Purge unreachables.
Added test-case to remind me that reachability checking alg isn't done yet.