Interesting, sounds like a bug in the way the Mac version handles extension testing. It would be good to report this at the bug tracker.
Yes, I’ve got the same options there. You can also see the version under “Help → About Inform” and in a compiled story with the “version” command.