relax bitvector constant check for Verilog bitvectors#8191

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

bitvector-constant-verilogbvdiffblue/cbmc:bitvector-constant-verilogbvCopy head branch name to clipboard