Opera Mobile 11 (and 10) has "mini" functionality, as indeed do the current desktop editions. It's a simple setting called "opera turbo" in settings and will use the opera proxy you expect when set Enjoy!