Added test_permission_edit(), which ensures that changes to permissions are observed on next login.