Added tests for SIGNEXTEND and BNOT