Added tests for SIGNEXTEND and BNOT

this should yield 0