polishing TimeoutSolver

src/purescala/Analysis.scala

src/purescala/Extensions.scala

src/purescala/FairZ3Solver.scala

src/purescala/RandomSolver.scala

src/purescala/TimeoutSolver.scala

src/purescala/Z3Solver.scala

test/BVs.scala