It seems that Directory Server Identity Providers Sync will even create accounts and assign licenses for Disabled users. It would probably be best to not have a license assigned to a disabled AD user, at the very least, as they would never be able to use it.

It is common for IT to disable a user at the AD level instead of deleting a user, this way if they return, they can enable the user and accounts/licenses will be assigned again in all systems.