Temporarily disable saw-remote-api tests on MacOS
Temporarily disable saw-remote-api tests on MacOS

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script