Seems like I was right; Opera 10 for Mac IS slower:

http://arstechnica.com/software/reviews/2009/09/first-look-o...

(scroll down to benchmarks)