added QuickCheck properties for writing and reading values to and from the db
added benchmarks for (mapM_ execute) vs. executeMany
use binary format for sending SqlDouble and SqlInt64 to postgresql