Is a customer’s VAT number stored in their user profile (usermeta) ?

Yes, it is stored in their profile, and can be edited on their profile page or in their WooCommerce account section. It is stored in the database (usermeta table) using the meta key vat_number.