Normalize solver state in Incremental*

...egration/scala/leon/test/solvers/TimeoutSolverSuite.scala

src/main/scala/leon/solvers/EnumerationSolver.scala

src/main/scala/leon/solvers/GroundSolver.scala

src/main/scala/leon/solvers/IncrementalSolver.scala

src/main/scala/leon/solvers/ResettableSolver.scala

...main/scala/leon/solvers/combinators/UnrollingSolver.scala

src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala

src/main/scala/leon/solvers/templates/UnrollingBank.scala

src/main/scala/leon/solvers/z3/FairZ3Solver.scala

src/main/scala/leon/solvers/z3/UninterpretedZ3Solver.scala

src/main/scala/leon/utils/IncrementalBijection.scala

src/main/scala/leon/utils/IncrementalMap.scala

src/main/scala/leon/utils/IncrementalSeq.scala

src/main/scala/leon/utils/IncrementalSet.scala

src/main/scala/leon/utils/IncrementalState.scala