Unable to recreate the malfunction here.  In fact, gdb says that the
walIndexWriteHdr() function never gets called when following the steps
outlined in the original bug report (which is exactly what you would
expect if you are only doing a query.)