python frontend: support nested loops

https://github.com/google/heir/pull/1307 adds support for single loops with at most one iter_arg, so add support for nested loops (propogate the inner body's iter_arg through the loop nest) and generalize to an arbitrary number of iter_args.