Craft Forum/Community options
Out side of what you have mentioned, I recall Discourse being mentioned on the Google+ Community. That's written in Ruby, though.

Vanilla Forums is open-source and written in PHP. It's also comes with SSO (Single-Sign On), and can be embedded into another site via an iframe.

There are currently no announced forum plugins native to Craft.