world.convex convex 0.8.5 4.0.0 convex-benchmarks Convex Benchmarks Convex Benchmark Suite https://convex.world convex-benchmarks org.apache.maven.plugins maven-compiler-plugin org.openjdk.jmh jmh-generator-annprocess ${jmh.version} world.convex convex-peer ${convex.version} world.convex convex-gui ${convex.version} org.openjdk.jmh jmh-core ${jmh.version} org.openjdk.jmh jmh-generator-annprocess ${jmh.version} true