Added address_verifier and changed supervisor tree a bit