Fix build on macOS

[arthurpaulino]

135571d removes macOS from the CI job. We need to add it back.

There's a conflict of symbols due to the BLAKE3 C dependency from Blake3.lean and the blake3 crate. For some reason, the linker is not being able to distinguish the two.

[arthurpaulino]

This was solved, right @samuelburnham?