Make sure that all non-graveyard testcases at least compile, test it

src/test/resources/regression/testcases

src/test/scala/leon/test/LeonTestSuite.scala

src/test/scala/leon/test/LeonTests.scala

src/test/scala/leon/test/testcases/TestCasesCompile.scala

testcases/graveyard/insynth-leon-tests/BubbleSortBug.scala

...graveyard/insynth-leon-tests/CaseClassSelectExample.scala

testcases/graveyard/insynth-leon-tests/Hole.scala

...ses/graveyard/insynth-leon-tests/ListOperationsHole.scala

...cases/graveyard/insynth-leon-tests/RedBlackTreeFull.scala

testcases/graveyard/insynth-synthesis-tests/Hole.scala

testcases/graveyard/insynth-synthesis-tests/LocalScope.scala

...cases/graveyard/verification/graph/MST/SpanningTree.scala

testcases/graveyard/verification/graph/SetIteration.scala

...graveyard/verification/graph/dijkstras/DijkstrasSet.scala

...rd/verification/graph/dijkstras/DijkstrasSetToVisit.scala

...s/graveyard/verification/vmcai2011-testcases/CADE07.scala

...aveyard/verification/vmcai2011-testcases/CADE07Hard.scala

...graveyard/verification/vmcai2011-testcases/Giuliano.scala

...eyard/verification/vmcai2011-testcases/JustFormulas.scala

...ard/verification/vmcai2011-testcases/ListProperties.scala