Sync the database file after a rollback.  This is a cherrypick merge
of check-in [b21b911f23].

FossilOrigin-Name: 82dd61fccff3e4c77e060e5734cd4b4e2eeb7c32
4 files changed