Much memory still addressable at exit

The database backend uses custom allocators because it is believed mallocs are the root of all evil. As a consequence it is hard to track whether we leak memory. By freeing these custom allocators and then checking all their memory is unassigned we can catch memory leaks.