Add two unit tests that verify we can correctly determine if a shortest allowed and longest allowed script is a witness program. Done in preparation for patching the `witness_version` function.