No, most Genesis child themes (from Appfinite, StudioPress, etc) do not come with short codes, it’s for a good reason though. If you’re interested in why that is, check out this link – http://justintadlock.com/archives/2011/05/02/dealing-with-shortcode-madness they are simply saying that themes shouldn’t have short codes because it messes a lot of things up when a user switches themes and they still have all of these posts/pages/widgets etc with shortcodes that don’t display anything but brackets and text.
Yes there are plugins that offer short codes, which should work even if you switch your theme. You can search the WP.org repository, or you can search a site like Code Canyon for premium plugins.
Also, if you’re trying to add buttons, they have a tutorial on their demo here – http://demo.appfinite.net/optimal/buttons/ It’s in HTML, but it’s simple enough where anyone can do it. Plus you have a bit more control over it that way.