Posters in other threads who seem to be well-informed claim that Ulrich's bitcoins will surely be sold through public auctions, which is what the government must do with seized goods. But it seems unlikely that they auctioned Stomp's coins, that would have been noted and widely reported.
Perhaps the federal agents considered bitcoin a currency, not goods, at the time? Perhaps the coins had already been converted to cash by Stomp or "J" when they were arrested?