Ah, I missed that this requires WAL mode -- indeed, if WAL is used, one transaction should always be able to make progress.