Mostly correct. Opera servers compress pages before passing them along to the mobile device. [0]

[0] http://www.opera.com/mobile/features/

Currently on Opera Mini, yes. Personally I think it's a good idea, and can't wait for it to expand to pre-compiling Javascript.