Added tests for SIGNEXTEND and BNOT

if 0 is at the top of the stack, this should yield u256(-1)