SMT2: bvnor, bvnand are binary only; add bvxnor#8508

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

smt-bvdiffblue/cbmc:smt-bvCopy head branch name to clipboard