Perform simplification for floor/ceil/round/trunc

- constant folding
- simplify repeated application of integer-valued functions
internal_assert(op->args.size() == 1)