Update notes for submitted changes

* Make the devtest scripts for toci run with -x.