Add totality annotations to the Main module
Add totality annotations to the Main module

All but the |main| function are total. |main| is not because it relies on
|getArgs|, which itself is partial.

jeremy-w/BonjourToUnbound