add two corner cases to the assert set
add a cmov-only implementation of sadd, courtesy of vulture@#asm