Separate and finish post-lightspeed verification

- Currently, verifies that all products are assigned to exactly one
  bottom-level category.

- Prints all products and category paths, if you pass in True.

- At the end, always prints out a report of the products with
  issues.