Check that mac os users can run `get` script without errors

# Why?

https://github.com/yatima-inc/Wasm.lean/pull/53/commits/ff516d79654582f4cf8ec0e8115db8ab7b6429d5#r1136391218

# What?

- Clone the repo
- Run `scripts/get`
- Check that tests run with lspec (you can do that by running this bash script, or run the commands yourself):

```
[ ! -f ./lean_packages/LSpec/build/bin/lspec ] && lake build lspec
something="$(grep lean_exe lakefile.lean | head -n 1 | cut -d\ -f2)"
lake build "$something" && \
./build/bin/"$something" # && \
lake exe lspec
```

Start by cloning the repository on macOS and running scripts/get. Then run the listed lake and lspec commands to identify where execution fails; done means the script completes without errors and the lspec tests run successfully.

Written by the indexing model from the issue text.