add a liveness check

This is still not complete because we need to do a final pass through the
liveness check at the end and also signal errors if we fail the check.

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