Update notes for submitted changes

* Exception raising in TestEngine.verify()