Fix a silly buffer overflow in the sat checker.
X * Y is unevalable if eitehr X or Y are unevalable.
Strip 128 bit operations from side condition checking, since the
interpreter can't handle them anyway.
Unbreak debug build.