Added tests for SIGNEXTEND and BNOT

post: u256(0) - u256(0x1292) (=0xfff...faf4)