Update scripts for draft of verification chapter.