Add per-object origin tracking (vOrigins) to Gia_Man_t#487

robtaylor wants to merge 8 commits into

berkeley-abc:masterberkeley-abc/abc:masterfrom

robtaylor:origin-tracking-cleanrobtaylor/abc:origin-tracking-cleanCopy head branch name to clipboard