Zyrnoth, Arbiter of Dust

Flash

Players can't shuffle their libraries.

If one or more cards would be shuffled into
their owner's library, that player puts those
cards on the bottom of their library in any
order instead.