Add an ALWAYS on an always-true branch in wal.c.
Fix the ANALYZE command so that it resets the "unordered" and "noskipscan"
flags on indices when reloading the sqlite_stat1 table.
Completely remove an assert() that had previously been commented out.
Add new requirements marks associated with the file format documentation.
No changes to code.
Add some requirements marks to the record formatting logic.  Comment changes
only - the code is unaltered.
Fix the encoding of some integers to use the minimum amount of space:
-128, -32768, -8388608, -217483648, and -140737488355328.