sirix-1.0.0-alpha17

What's Changed

• perf(json) array-unbox fix, Sirix metrics, crash-recovery hardening, and HOT routing benchmark by @JohannesLichtenberger in #1008
• release: 1.0.0-alpha17 — metrics, JSON-perf, crash-recovery + version-pinned Docker image by @JohannesLichtenberger in #1009

Full Changelog: sirix-1.0.0-alpha16...sirix-1.0.0-alpha17