Added tests for SIGNEXTEND and BNOT

post: 0xf0000000000001