Dark Revenant’s ability isn’t optional. However, if Dark Revenant leaves the graveyard before its ability resolves, it won’t be put on top of its owner’s library.