It is not clear whether Opera truly distinguishes between a soft and hard refresh. However, holding down the Shift key while clicking the refresh button (with a text balloon of "Reload") appears to perform a hard refresh.