first refactor of veritesting to make the code sane
first refactor of veritesting to make the code sane

axt/angr,chubbymaggie/angr,chubbymaggie/angr,angr/angr,f-prettyland/angr,chubbymaggie/angr,schieb/angr,f-prettyland/angr,axt/angr,angr/angr,schieb/angr,axt/angr,tyb0807/angr,iamahuman/angr,schieb/angr,tyb0807/angr,tyb0807/angr,iamahuman/angr,iamahuman/angr,f-prettyland/angr,angr/angr