Woocommerce shortcodes missing from editor

It’s not an issue, it was removed on purpose because it was little used and now it’s an new plugin.
The plugin is much more complete now and has modals to help build the shortcodes more easily: http://wordpress.org/plugins/woocommerce-shortcodes/

See the screenshots and you will see how much better: http://wordpress.org/plugins/woocommerce-shortcodes/screenshots/