Adds brief section on correctness testing