tried to test BadBufferException throwing in BufferManager::flushFile() with test7(), realized it was impossible. also implemented BufferManager destructor and double checked it with valgrind