Added tests for SIGNEXTEND and BNOT

Is the indentation correct here?