Fix a bunch of style/actual issues

.../java/leon/codegen/runtime/LeonCodeGenRuntimeHashing.java

.../java/leon/codegen/runtime/LeonCodeGenRuntimeMonitor.java

src/main/java/leon/codegen/runtime/Set.java

src/main/java/leon/codegen/runtime/Tuple.java

src/main/scala/leon/LeonOption.scala

src/main/scala/leon/LeonPhase.scala

src/main/scala/leon/Main.scala

src/main/scala/leon/Reporter.scala

src/main/scala/leon/Settings.scala

src/main/scala/leon/Stopwatch.scala

src/main/scala/leon/codegen/CodeGenPhase.scala

src/main/scala/leon/codegen/CodeGeneration.scala

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/codegen/CompiledExpression.scala

src/main/scala/leon/codegen/runtime/ChooseEntryPoint.scala

src/main/scala/leon/codegen/runtime/GenericValues.scala

src/main/scala/leon/datagen/DataGenerator.scala

src/main/scala/leon/datagen/NaiveDataGen.scala

src/main/scala/leon/datagen/VanuatooDataGen.scala

src/main/scala/leon/evaluators/DualEvaluator.scala