Updated tests and added verification output