Added ability to make static assertions about inputs

You can now tell Halide the size and stride of ImageParams. If
the promises are violated at runtime, an error is raised.
Added ability to make static assertions about inputs

You can now tell Halide the size and stride of ImageParams. If
the promises are violated at runtime, an error is raised.
Fixed argument order in local laplacian timing
Loosened accuracy requirements for inverse on avx