Cleaned up quantifiers and removed weird testcase

src/main/scala/leon/purescala/Quantification.scala

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

.../scala/leon/solvers/templates/QuantificationManager.scala

...main/scala/leon/solvers/templates/TemplateGenerator.scala

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

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

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

...ification/purescala/invalid/InductiveQuantification.scala

...erification/purescala/valid/InductiveQuantification.scala

.../scala/leon/regression/termination/TerminationSuite.scala

testcases/verification/quantification/invalid/SizeInc.scala

testcases/verification/quantification/valid/SizeInc.scala