Not Voodoo, just a service offered by the card brands. Banks notify the card brand of a new card, the card brand notifies the processor who then updates their database.

Generally processors charge $1/card updated, but stripe is pricey enough to include it for everyone.