Optimize VSUBC.
Fix a serious memory bug in SBV.