Exclude joda-time from aws-java-sdk

Their POM uses a version range which drags in the wrong version.
Fix exponential running time in expression optimizer
Fix exponential running time in expression translator

It now runs in linear time
Add more documentation for arrays
Make more methods final on parametric base classes
Implement getDescription() in ParametricOperator
Add json type
Change specialize() to accept TypeManager
Add array/map to json cast
Add map cardinality function
Add option to verifier to only run EXPLAIN for queries

This is useful for testing parsing/analysis/planning without having
to execute the queries.
Add properties to Session
Add properties to ConnectorSession
Add properties to ClientSession
Add CLI args to set session properties
Add experimental method to set session properties in JDBC driver
Remove disabled and broken TestQueryResourceServer