add bit-vector encoding as a menu option in speceditor.  encoding is currently required for execution.