better bv args for smtcomp
fix travis config
fixed fuzzer assertion failures for bv