Will product options be migrated to BigCommerce?

Our migration tool supports migrating both custom options and variants to BigCommerce.