Currently, CheckpointBuilder scope(fka `MakeCheckpoint`) shows nearly 100% utilization, most likely due to notify_read.

This moves CheckpointBuilder (fka `MakeCheckpoint`) after notify_read and introduces separate scope for notify read only.

This diff also introduces `in_scope` helper method for futures.