Added tests for SIGNEXTEND and BNOT

For later: this should have a post-condition of u256(-1) in the storage.