Added --verify
Added --print_stats
Fixed consistent naming of extensions in database and file store