Update saw-core.cabal to tighten lower version bound on sbv
Update saw-core.cabal to tighten lower version bound on sbv

`saw-core` depends on functions like `svBlastLE` that were added to SBV's dynamic API at v5.10. It happens on some platforms (older CentOS I guess? that the combination of the current weak lower bound and constraint on the `clock` package cause cabal to choose SBV 5.9, which does not have the desired API.
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script