> However, the alternative (inflation) would have the same effect.
I don't think this is necessarily true. Pre-euro, Greece devalued the drachma several times in order to manage its debts and trade balance (by around 15% each time in 1983, 1985, and 1998), but it didn't lead to rioting in the streets.