added CHANGELOG
added Verifier handling with caveats and satisfyExact