Module refresh

Functions

apply_refresh 🔒

This is for REFRESH options on materialized views. It adds an operator that rounds up the timestamps of data and frontiers to the time of the next refresh. See doc/developer/design/20231027_refresh_every_mv.md.