Shortcode for stock quantity is [wpv-post-field name="_stock"]
I also would like to format another field as price in US dollars, like "$16.00" instead of just "16". That shortcode is [types field='views_woo_price'][/types].
Thanks Minesh. That seems to do what I wanted. The only problem now is that a few of the products do not display any price, even though their prices are shown on the individual product pages. Strange. If you go to hidden link you will see the second product has no price, and there are others also.