Add some warning flags to package.yaml

[lsrcz]

This pull request adds some warning flags and fixed all the warnings.

The flags added are:

• -Wextra
• -Werror
• -Wcompat
• -Widentities
• -Wincomplete-record-updates
• -Wmissing-export-lists
• -Wmissing-home-modules
• -Wmissing-import-lists
• -Wpartial-fields
• -Wunused-type-patterns

Tried to add the following flag, but it is blocked by a Cabal bug that is fixed recently (but not in older stackage LTS snapshot versions) (see haskell/cabal#7352).

• -Wprepositive-qualified-module

[codecov]

Codecov Report

Attention: 40 lines in your changes are missing coverage. Please review.

Files	Coverage Δ
src/Grisette/Backend/SBV/Data/SMT/Solving.hs	45.08% <ø> (ø)
src/Grisette/Backend/SBV/Data/SMT/SymBiMap.hs	77.77% <ø> (ø)
src/Grisette/Core/Control/Exception.hs	13.33% <ø> (ø)
src/Grisette/Core/Control/Monad/CBMCExcept.hs	0.00% <ø> (ø)
...tte/Core/Control/Monad/Class/MonadParallelUnion.hs	0.00% <ø> (ø)
src/Grisette/Core/Data/Class/BitVector.hs	0.00% <ø> (ø)
src/Grisette/Core/Data/Class/Bool.hs	12.98% <ø> (ø)
src/Grisette/Core/Data/Class/CEGISSolver.hs	41.93% <ø> (ø)
src/Grisette/Core/Data/Class/Error.hs	16.66% <ø> (ø)
src/Grisette/Core/Data/Class/Evaluate.hs	0.00% <ø> (ø)
... and 40 more

📢 Thoughts on this report? Let us know!.