Yeah, that's the right way to do it. You can do it without FileVault enabled, too. Enter `resetpassword` in Terminal, and the Erase Mac option is in the menu bar.

I'll grant that this is poorly documented and not intuitive in the least. A secure erase and reinstall is a common task. It shouldn't require an obscure menu bar option or the use of Terminal.