Also PageTable destructor now verifies that is has allocated something instead of assuming paddr of 0.