Removing compositional and automatic testcases

build.sbt

leon-change-notes

testcases/orb-testcases/automatic/AmortizedQueue.scala

testcases/orb-testcases/automatic/BinaryTrie.scala

testcases/orb-testcases/automatic/BinomialHeap.scala

testcases/orb-testcases/automatic/HeapSort.scala

testcases/orb-testcases/automatic/InsertionSort.scala

testcases/orb-testcases/automatic/LeftistHeap.scala

testcases/orb-testcases/automatic/ListOperations.scala

testcases/orb-testcases/automatic/TreeOperations.scala

testcases/orb-testcases/composition/AVLSort.scala

...cases/orb-testcases/composition/ConstantPropagation.scala

testcases/orb-testcases/composition/HeapSort.scala

testcases/orb-testcases/composition/HeapSort2.scala

testcases/orb-testcases/composition/InsertionSort.scala

testcases/orb-testcases/composition/LeftistHeap.scala

testcases/orb-testcases/composition/MergeSort.scala

testcases/orb-testcases/composition/QuickSort.scala

testcases/orb-testcases/composition/Z3-exception-output.txt