Abolish some trivial tests and fold them into dbversion.py; the setup