I also discovered MacSymbolicator which is a nice GUI for symbolicating

I was able to follow the instructions you linked for an .ips file as well, I'm not sure what the difference between a .crash and .ips file is but atos seems to be able to handle it.