added a new function woocommerce_customer_bought_product_count that lets you see how many of a product a customer has bought.