v0.12.1

For a while all development has occured directly on v0.12.0 HEAD.

This is a benchmark release reflecting all bugfixes and optimisations since 2024-09-11

@StefanL @citkane