Separated benchmarks and correctness tests

and added the sbt assembly plugin to run everything from a jar file