How would Tinybones (BB) interact with Kozilek?

I use [[Tinybones, Bauble Burglar]] to make an opponent discard [[Kozilek, Butcher of Truth]]. Does Kozilek end up back in the opponent’s library, or does it end up in exile with a stash counter on it? Does the opponent shuffle their graveyard into their library?