add solver binaries to the release artifacts

[charles-cooper]

it can be a bit cumbersome to get the solver binaries, especially bitwuzla. a fairly easy way to address this would be to just include the binaries in the github release artifacts, that way if the user doesn't have it another way they can just copy the binary to somewhere in their path.