Added SignCast instance and exported sbv

Changes necessary for SAWCore's use of SBV. Ultimately, these should be
merged into the upstream SBV package.