use second rendezvous point and check covers within it

The broader plan here is to do the final liveness check in parallel, rather than
single-threaded as originally planned. This should speed it up, but it also
means we need some rendezvous logic in exit_with() rather than simply ending.

Github: related to #47 "properties, covers, etc"