Implement schema typechecker

This closes circuithub#274 and circuithub#186, allowing the generation of CREATE TABLE
statements from a TableSchema, as well as testing the table's schema in
the database against the schema implied by the TableSchema type.

Co-authored-by: David Kraeutmann <kane@kane.cx>

rel8.cabal

@@ -30,6 +30,7 @@ library
     , case-insensitive
     , comonad
     , contravariant
+    , containers
     , data-textual
     , hasql ^>= 1.6.1.2
     , network-ip
@@ -66,6 +67,7 @@ library
     Rel8.Expr.Text
     Rel8.Expr.Time
     Rel8.Tabulate
+    Rel8.Table.Verify
 
   other-modules:
     Rel8.Aggregate
@@ -237,7 +239,8 @@ library
 test-suite tests
   type:             exitcode-stdio-1.0
   build-depends:
-      base
+      aeson
+    , base
     , bytestring
     , case-insensitive
     , containers
@@ -252,10 +255,12 @@ test-suite tests
     , tasty
     , tasty-hedgehog
     , text
+    , these
     , time
     , tmp-postgres      ^>=1.34.1.0
     , transformers
     , uuid
+    , vector
 
   other-modules:
     Rel8.Generic.Rel8able.Test