Release v0.16.0

Verified gates: make check, test-persistence, test-rebuild, test-silicon, cluster-verify.
Specification traceability 100%, boundary gate 0 violations, 514/514 unit tests.