We previously removed all usages of RoleInfo.isDefault on the native/web client, so we can safely remove it from RoleInfo.
As usual, there will be a native/web migration to go along with this change. Will actually update the existing specialRole migration in place since it makes sense to couple the inclusion of specialRole and exclusion of isDefault in a single pass.
Depends on D11252