Remove unnecessary dependencies
Remove unnecessary dependencies

The `binary` and `ghc-prim` packages were no longer being used.

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