7 days after my initial problem report to WooThemes, I just received this reply:
Sure, I’ll forward it to our developers so they can investigate it further and look at addressing it in a future WooCommerce version.
Sean – WooCommerceNinja
WooThemes Support