-- Harden the API, remove redundant method, small fixes --

* Removed the PermissionUser.exists() method, as it was useless with the
UserManager.doesUserExist method.

* Added preconditions to all external facing classes of the Local
implementation.

* Fixed a bug in the OverPermissions command, and added more debug
information.