Added tests for SIGNEXTEND and BNOT

post: 0