Investigate BangBang slack variable representation

[jack-champagne]

The bang-bang slack representation doesn't seem to be the right slack rep. Look into this
and fix or clarify the correct representation. Also investigate how multiple solve! calls
interact with this.