Updating benchmarks to support Whiley v0.3.22 and the new syntax.
Updated more benchmarks for new syntax.