Well, this is their answer to the problem:
http://wcdocs.woothemes.com/tutorials/using-the-appropriate-product-image-dimensions/
so I don't think they would really consider it a "bug"
but if you don't want to have the product thumb to be that big, then my solution above will do the trick.