Add verification tests