Bump version in Cabal file to 0.8

Take 2

Take 2

Merge branch 'master' into release-0.6

Merge branch 'master' into release-0.5

Merge branch 'master' into release-0.4

Bump saw-core submodule (GaloisInc#472)

Fixes scVectorReduced bug discovered by @andreistefanescu.

Merge branch 'master' into release-0.2

Merge branch 'master' into release-0.1.1-dev

Merge branch 'doc-updates' into release-0.1-dev