Add BVZX to CVC parser and refactor SMT1/2 parsers to use BVZX.