adapt testcase to actually test project serialization
adapt testcase to actually test project serialization

iamahuman/angr,iamahuman/angr,schieb/angr,schieb/angr,angr/angr,schieb/angr,angr/angr,angr/angr,iamahuman/angr