add upper bound to sbv
add upper bound to sbv

sbv just released version 8.0, which does not expose the MonadReader
instance for Symbolic when importing Data.SBV.Dynamic.  In the meantime,
an upper bound for sbv helps build tools such as stack pick an
appropriate version of sbv to build against.

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