Upgrade alloy to 0.8.13 and update examples

[rory-ocl]

Description

Upgrade alloy to 0.8.13 and update examples.

This also fixes issue L-05 for the 0.7.0 sdk audit.

Checklist

• [ ] I have documented these changes where necessary.
• [ ] I have read the DCO and ensured that these changes comply.
• [ ] I assign this work under its open source licensing.