Update notes for submitted changes

* Add bounds-check assertions