Bugfix in bounds inference
Bugfix in bounds inference

The bounds required of a stage only depend on inner productions,
and the innermost stage we're currently producing.

Produce A {
  Produce B {
    // Bounds required of D here depend on bounds of its possible users:
    // C and B. It doesn't matter that A uses a different instantiation
    // of D below.

    Produce D {
      D =
    } consume D {
      Produce C {
        C =
      } consume C {
        B =
      }
    }

  } consume B {

    Produce D { // Second realization of D
      D =
    } consume D {
      A =
    }
  }
}

Previously it was innermost productions, and all things we're currently
producing, which would have included A in the first step.

aam/Halide,rodrigob/Halide,rodrigob/Halide,adasworks/Halide,jiawen/Halide,jiawen/Halide,dan-tull/Halide,rodrigob/Halide,damienfir/Halide,lglucin/Halide,ronen/Halide,psuriana/Halide,rodrigob/Halide,delcypher/Halide,damienfir/Halide,psuriana/Halide,myrtleTree33/Halide,ronen/Halide,lglucin/Halide,aam/Halide,dan-tull/Halide,dougkwan/Halide,ayanazmat/Halide,lglucin/Halide,myrtleTree33/Halide,ayanazmat/Halide,mcanthony/Halide,mcanthony/Halide,psuriana/Halide,smxlong/Halide,kgnk/Halide,mcanthony/Halide,myrtleTree33/Halide,ayanazmat/Halide,kenkuang1213/Halide,dougkwan/Halide,adasworks/Halide,adasworks/Halide,damienfir/Halide,ronen/Halide,smxlong/Halide,fengzhyuan/Halide,psuriana/Halide,adasworks/Halide,aam/Halide,lglucin/Halide,dougkwan/Halide,kgnk/Halide,dougkwan/Halide,ronen/Halide,ronen/Halide,ayanazmat/Halide,aam/Halide,kgnk/Halide,fengzhyuan/Halide,mcanthony/Halide,aam/Halide,rodrigob/Halide,adasworks/Halide,kgnk/Halide,ayanazmat/Halide,damienfir/Halide,delcypher/Halide,adasworks/Halide,tdenniston/Halide,adasworks/Halide,jiawen/Halide,ronen/Halide,smxlong/Halide,jiawen/Halide,gchauras/Halide,kenkuang1213/Halide,rodrigob/Halide,smxlong/Halide,smxlong/Halide,aam/Halide,fengzhyuan/Halide,psuriana/Halide,dan-tull/Halide,ayanazmat/Halide,ayanazmat/Halide,lglucin/Halide,fengzhyuan/Halide,delcypher/Halide,dan-tull/Halide,tdenniston/Halide,kgnk/Halide,dougkwan/Halide,gchauras/Halide,damienfir/Halide,ronen/Halide,kenkuang1213/Halide,ronen/Halide,myrtleTree33/Halide,dan-tull/Halide,dougkwan/Halide,kgnk/Halide,gchauras/Halide,kenkuang1213/Halide,damienfir/Halide,gchauras/Halide,tdenniston/Halide,fengzhyuan/Halide,tdenniston/Halide,dan-tull/Halide,kenkuang1213/Halide,mcanthony/Halide,myrtleTree33/Halide,tdenniston/Halide,tdenniston/Halide,dan-tull/Halide,mcanthony/Halide,rodrigob/Halide,fengzhyuan/Halide,smxlong/Halide,dougkwan/Halide,delcypher/Halide,tdenniston/Halide,myrtleTree33/Halide,myrtleTree33/Halide,mcanthony/Halide,rodrigob/Halide,jiawen/Halide,tdenniston/Halide,kenkuang1213/Halide,mcanthony/Halide,kenkuang1213/Halide,psuriana/Halide,smxlong/Halide,aam/Halide,delcypher/Halide,kgnk/Halide,ayanazmat/Halide,myrtleTree33/Halide,dougkwan/Halide,delcypher/Halide,jiawen/Halide,fengzhyuan/Halide,psuriana/Halide,gchauras/Halide,smxlong/Halide,jiawen/Halide,kenkuang1213/Halide,damienfir/Halide,fengzhyuan/Halide,lglucin/Halide,lglucin/Halide,delcypher/Halide,gchauras/Halide,adasworks/Halide,damienfir/Halide,kgnk/Halide,dan-tull/Halide,delcypher/Halide