On Windows, I only need to optimize images occasionally and tend to use the free version of https://kraken.io There are probably better solutions, but this is very easy and no install needed.

On Mac, you're definitely right that ImageOptim is the best.