Perform simplification for floor/ceil/round/trunc

- constant folding
- simplify repeated application of integer-valued functions
Fix unit test
Added assertion
Merge pull request #497 from halide/floor_ceil_optimization

Perform simplification for floor/ceil/round/trunc