Fix bug: redundant fill of NVM/DRAM heaps
Adjust checkpointing/migration policy. Fix bug: take care of version buffer in migration.