adding dp timeout and int bits options to bakar kiasan, passing waitTime
arg to z3 if > 0