I'm not a mac guy, but afaik this tutorial is pretty well written: https://bitzuma.com/posts/how-to-verify-an-electrum-download-on-mac/
You may check if you didn't forget anything (like importing ThomasV key).