Does the migration tool migrate product variations?

Yes. All products with their variations and custom options will be moved during the migration process. One parent product with all its variations will be considered a product.