Virtual DOM Benchmark: mithril