remove the bounds on gcd test since boolector is so fast
nice indenting on status messages