I'd suggest checking out Binary Ninja [1] as well. Also reasonably priced and very solid, but available on all platforms --- not to mention having a much nicer UI and API than all the other tools out there.
Disclosure: I'm currently an intern working on the product.