fix(ci): force C++17 for Z3 build on macOS #6

Job	Run time
Compute Versions	1d 0h 0m 0s
Build CLI (Linux ${{ matrix.arch }})	0s
Build Python Wheels (Linux ${{ matrix.arch }})	0s
build-gateway	0s
build-supervisor	0s
Build CLI (macOS)	0s
Build Gateway Binary (Linux ${{ matrix.arch }})	0s
Build Gateway Binary (macOS)	0s
build-cluster	0s
Build Supervisor Binary (Linux ${{ matrix.arch }})	0s
Build Python Wheel (macOS)	0s
e2e	0s
Release	0s
Tag GHCR Images for Release	0s
Publish Fern Docs	0s
Trigger Wheel Publish	0s
	1d 0h 0m 0s

Provide feedback