Split DAE::MarkLive into MarkLive and PropagateLiveness.