Allow "@", "&", and "|" to be n-ary in CVC printer

It looks like these operators are always parsed as 2-ary by the
CVC-format parser, but the AST nodes are allowed to be n-ary internally,
and it apparently sometimes they can be converted to n-ary by other
internal code, so allow the n-ary forms to be printed without an
assertion failure.