Added tests for SIGNEXTEND and BNOT

This file is actually part of a different pull request.