[Bug 8813] MDB_VL32 causes MDB_TXN_FULL