Enable checker framework for test code
Make DbRun use Provider<Database> for efficiency
Remove "generic" database flavor

It will never work with a real database, and better to fail fast
Improve stubs for Checker Framework and package them into the jar
Add a couple more convenience methods for quick querying
Improvements to dynamic SQL generation utility (append numeric, appending list items with separators)