Happy-path integration test
Nice toString for usages
Implementing the verifier