Hunting a 16-year-old SQLite bug with TLA+: is dqlite affected?