Introduce consistency invariants into the test.
Allow is_member/3 to ask for deleted nodes and handle this accordingly.
Introduce a simple test to observe the `has_bucket/2` call to the routing table.