Update notes for submitted changes

* Add missing VerifyAll calls to test_validate