Finish and test liveness module so that we can confirm that it properly detects the narrow range of cases we're after.