Enhance the WAL checkpoint algorithm to run faster and use less memory

if the WAL file is larger than the database file.

FossilOrigin-Name: 630ab4b6bd4497d4d09e3910f8a95908d19b0a0ab0da4bfe9c3f22e613411523