Remove redundant check_liveness from check_everything