[1.0 Requirement] Type propagation, or remove shape propagation.

[csarofeen]

We need to think through how much we will rely on the profiling executor for type, device, and contiguity information. Specifically for this bug I'm wondering if the type propagation and cacheing on contiguity information is enough to warrant using the PE. I believe we can also remove the shape propagation logic as the code generator can handle this for us now.