Add monotonicity check for some functions

[junli1026]

I hereby agree to the terms of the CLA available at: https://databend.rs/policies/cla/

Summary

After #3009 is checked in, functions as follows need to have monotonic checking:

1. arithmetic div
2. arithmetic mul
3. date number functions
4. week date funcction
5. floor
6. ceil
7. sign

Changelog

• Improvement

Related Issues

Fixes #issue

Test Plan

Unit Tests

Stateless Tests

[codecov-commenter]

Codecov Report

Merging #3134 (a4afc16) into main (79cc5cc) will increase coverage by 0%.
The diff coverage is 77%.

@@          Coverage Diff           @@
##            main   #3134    +/-   ##
======================================
  Coverage     66%     66%            
======================================
  Files        673     673            
  Lines      35108   35388   +280     
======================================
+ Hits       23430   23621   +191     
- Misses     11678   11767    +89     

Impacted Files	Coverage Δ
...n/functions/src/scalars/dates/interval_function.rs	74% <0%> (ø)
...mon/functions/src/scalars/dates/number_function.rs	66% <0%> (-2%)	⬇️
common/functions/src/scalars/dates/week_date.rs	6% <0%> (-1%)	⬇️
common/functions/src/scalars/maths/ceil.rs	52% <0%> (-5%)	⬇️
common/functions/src/scalars/maths/floor.rs	52% <0%> (-5%)	⬇️
common/functions/src/scalars/maths/sign.rs	39% <0%> (-14%)	⬇️
...unctions/src/scalars/arithmetics/arithmetic_mul.rs	68% <65%> (-2%)	⬇️
query/src/optimizers/utils.rs	87% <69%> (-6%)	⬇️
common/functions/src/scalars/function.rs	66% <74%> (+24%)	⬆️
query/src/optimizers/utils_test.rs	90% <92%> (-1%)	⬇️
... and 15 more

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 79cc5cc...a4afc16. Read the comment docs.

[databend-bot]

Thanks for the contribution!
I have applied any labels matching special text in your PR Changelog.

Please review the labels and make any necessary changes.

[junli1026]

@zhyass could you please help to take a look ?

[BohuTANG]

@mergify update

[mergify]

update

✅ Branch has been successfully updated

Hey, I reacted but my real name is @Mergifyio

[BohuTANG]

@mergify update

[mergify]

update

✅ Branch has been successfully updated

Hey, I reacted but my real name is @Mergifyio

[BohuTANG]

@Mergifyio update

[mergify]

update

✅ Branch has been successfully updated

[zhyass]

/lgtm