Infer group index on paths

Every basic block could have an associated `group_indexes : Optional[List[int]]` field, which we would collect based on things like
```
txn GroupIndex
int VALUE
```

This would allow us to start reasoning on the `gtxn KEY field` element, to see if we are checking a group transaction field from the current contract, or another one