test: add tests for and_verify

Jakob Schneider Villumsenrequested to merge
test38-and-verify into main

Closes #40

Edited by Jakob Schneider Villumsen

Merge request reports