Varol, Death's Majesty

+1: Each player discards a card at random. If a creature card was discarded this way, put that many loyalty counters on Varol, Death's Majesty.
-X: Destroy each nonland permanent with coverted mana cost X. You lose X life.
-13: Exile the top 13 cards in each player's library, you may cast at most 7 of them without paying their mana cost. Target opponent loses 13 life