Add support for parameter streaming with while loop by:
Add support for parameter streaming with while loop by:
- fix up shapes of root instruction of while body and parameter of while condition
- root instruction of while body should use the "on host" operand since it's on host
  at loop entry.
