Explicitly ignore main function in verification tests

...st/resources/regression/termination/valid/QuickSort.scala

...esources/regression/termination/valid/SimpInterpret.scala

...ression/verification/newsolvers/valid/InsertionSort.scala

...gression/verification/purescala/valid/InsertionSort.scala

testcases/repair/DaysToYears/DaysToYears.scala

testcases/repair/DaysToYears/DaysToYears1.scala

testcases/repair/DaysToYears/DaysToYears2.scala

testcases/runtime/SquareRoot.scala

...thesis/condabd/benchmarks/BatchedQueue/BatchedQueue.scala

testcases/verification/case-studies/Robot3po.scala

testcases/verification/compilation/Interpreter.scala

testcases/verification/compilation/SimpInterpret.scala

testcases/verification/graph/MST/MSTMap.scala

...es/verification/graph/dijkstras/DijkstrasSortedList.scala

testcases/verification/list-algorithms/InsertionSort.scala

testcases/verification/list-algorithms/MergeSort.scala

testcases/verification/list-algorithms/QuickSort.scala

testcases/verification/math/Prime.scala

testcases/verification/xlang/InsertionSort.scala

testcases/web/demos/008_Tutorial-Robot.scala