Issue while running Main

I received a message from @larskuhtz with the following issue.

I got the reference string data, but ran into some trouble executing the `Main` program on macos. Is this something you are aware of?
```
$ ./Main
dyld[18621]: missing symbol called
Abort trap: 6
```
I verified that the babybear symbols are in the binar:
```
$ nm Main | grep 'babybear.*inv'
000000010088bf10 T __cgo_32245f0f4cde_Cfunc_babybearextinv
000000010088bf60 T __cgo_32245f0f4cde_Cfunc_babybearinv
000000010000d904 T _babybearextinv
000000010000e0ac T _babybearinv
0000000100877540 t _github.com/succinctlabs/sp1-recursion-gnark/sp1/babybear._Cfunc_babybearextinv.abi0
0000000100877610 t _github.com/succinctlabs/sp1-recursion-gnark/sp1/babybear._Cfunc_babybearinv.abi0
000000010167cee0 d _github.com/succinctlabs/sp1-recursion-gnark/sp1/babybear._cgo_32245f0f4cde_Cfunc_babybearextinv
000000010167cee8 d _github.com/succinctlabs/sp1-recursion-gnark/sp1/babybear._cgo_32245f0f4cde_Cfunc_babybearinv
```

Start by reproducing ./Main on macOS and inspect the cgo-linked babybear symbols shown by nm. Investigate why dyld reports a missing symbol despite those symbols being present in the binary. Done means Main executes successfully on macOS without the missing-symbol error.

Written by the indexing model from the issue text.