New/Fixed testcases for oopsla

testcases/insynth-leon-tests/Arguments.scala

testcases/insynth-leon-tests/BubbleSortBug.scala

testcases/insynth-leon-tests/CaseClassSelectExample.scala

testcases/insynth-leon-tests/Hole.scala

testcases/insynth-leon-tests/ListOperationsHole.scala

testcases/insynth-leon-tests/RedBlackTreeFull.scala

testcases/insynth-synthesis-tests/Hole.scala

testcases/insynth-synthesis-tests/LocalScope.scala

testcases/lesynth-results/RedBlackTreeSynthResult.scala

testcases/lesynth-results/RedBlackTreeSynthResultBad.scala

testcases/lesynth/synthesis/BatchedQueue/BatchedQueue.scala

...s/lesynth/synthesis/BatchedQueue/BatchedQueueCheckf.scala

...ses/lesynth/synthesis/BatchedQueue/BatchedQueueFull.scala

...ses/lesynth/synthesis/BatchedQueue/BatchedQueueSnoc.scala

...esynth/synthesis/BatchedQueue/BatchedQueueSnocWeird.scala

...ses/lesynth/synthesis/BatchedQueue/BatchedQueueTail.scala

testcases/lesynth/synthesis/BinarySearch.scala

...nth/synthesis/BinarySearchTree/BinarySearchTreeFull.scala

...h/synthesis/BinarySearchTree/BinarySearchTreeMember.scala

...lesynth/synthesis/InsertionSort/InsertionSortInsert.scala