trivial revise( add some assertion)

two assertion: 1. page_size must be 4096; 2. when read hit, the exact
page must include all the blocks to be read.