Fix issue with SIGNEXTEND and refactor arithmetic

Our SIGNEXTEND was broken on positive numbers because for these numbers
it `Add`ed the sign extension mask rather than `And`ing it.

I took the opportunity to tidy up the arithmetical opcodes and add some
test.

Signed-off-by: Silas Davis <silas@monax.io>