Buffer style fixes
Factor out verify_databases.h
Factor out verify_services.h
Factor out verify_methods.h