Improve/add/correct testcases for new solvers

...rification/newsolvers/invalid/AddingNegativeNumbers.scala

...rification/newsolvers/invalid/AddingPositiveNumbers.scala

...s/regression/verification/newsolvers/invalid/Array1.scala

...s/regression/verification/newsolvers/invalid/Array2.scala

...s/regression/verification/newsolvers/invalid/Array3.scala

...s/regression/verification/newsolvers/invalid/Array4.scala

...regression/verification/newsolvers/invalid/Asserts1.scala

...gression/verification/newsolvers/invalid/BVDivision.scala

...ression/verification/newsolvers/invalid/BVDivision2.scala

...regression/verification/newsolvers/invalid/BigArray.scala

...regression/verification/newsolvers/invalid/Division.scala

...ion/verification/newsolvers/invalid/EnsuringBoolean.scala

...gression/verification/newsolvers/invalid/FiniteSort.scala

...regression/verification/newsolvers/invalid/Generics.scala

...egression/verification/newsolvers/invalid/Generics2.scala

...ssion/verification/newsolvers/invalid/InsertionSort.scala

...sion/verification/newsolvers/invalid/ListOperations.scala

...regression/verification/newsolvers/invalid/MyTuple1.scala

...regression/verification/newsolvers/invalid/MyTuple2.scala

...regression/verification/newsolvers/invalid/MyTuple3.scala