Update notes for submitted changes

* set config-filename such that verifier can start Fixed a bug that was introduced that prevents verifier from starting without special environment variables et