I think I figured it out – you just pick one of the settings. So here is the code that ended up working. Unfortunately it places the thumbs on top and the thumbnail sizing doesn’t seem to work, but I’m going to keep playing around with it.
Here is the shortcode syntax:
[jj-ngg-jquery-slider gallery="1" controlnavthumbs="nextgen_thumbs"]