Release update for v0.9.0

Version v0.9.0 · 2023-07-20

This release delivers improvements and stability updates for v0.9.0.