Check tensors passed in from user code

[shoaibkamil]

We should generate assertions (similar to Halide's checks on buffers) that catch any case where the passed-in taco_tensor_t is incompatible with the generated code. The ideal guarantee is that if the data pointers are valid, and the checks pass, our compute code will never crash.