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

robtaylor wants to merge 5 commits intoberkeley-abc:masterberkeley-abc/abc:masterfrom

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