Support range-key locality analysis for date_bin with a literal origin #26913

PR #26835 admits only two-argument date_bin calls. Supplying the default epoch origin explicitly produces identical bins, but three-argument calls still retain the aggregate hash shuffle even when every range split separates bins.

Audit and enable three-argument calls with a non-null literal timestamp origin, retaining the existing restrictions on timezone-less nanosecond timestamps and positive fixed-duration strides without months. The existing boundary proof should still determine locality, including rejecting crossing bins and boundary evaluation errors.

Suggested in Nga’s review comment. Related to #25344 and #25345.