Added tests for SIGNEXTEND and BNOT

True