Pass 'verbose' flag through to SBV for :prove and :sat

This addresses issue #17.