When printing in SMT, print N-ary bvadd/bvmul/concat/bvand/bvor/bvxor as binary.
Add --default-dag-thresh to translator, build translator with other examples.
SMT-COMP version gets built --with-abc.