Earlier quoted context omitted.
I wouldn't be that pessismistic. If people manage to identify people behind the blockchains, I strongly suppose that law enforcements, depending on countries where the theift physically is, can force the thieft to give it back without any modifications to existing laws. I think we can catch him when he is going to want to laundry his bitcoins.
The community really needs to choose one of two messages: a) Bitcoin is pseudonymous enough that you can safely buy drugs with it b) Large thefts of bitcoin can be traced; it's not pseudonymous enough for massive frauds
At the same time, the value of solving large thefts like this makes expending substantial resources to solve it much more reasonable.
It's like stealing someone's iPhone with a ski mask on while a camera catches you vs. robbing a bank with a ski mask on with a camera catching you. Both thefts begin with the same amount of evidence, but the latter is infinitely more likely to have resources devoted to it.