yet another round of cleanups + some additional comments.
add some more timing output. improve a bit the page allocator.