Added test of correct verification
Basic verification implementation complete