I’m sure there are also edge cases where you’d prefer to avoid a deck shuffle so it’s cool that it’s optional. Maybe you’ve scryed something spicy on top deck.