DELETE FOR PORTION OF bypasses view WITH CHECK OPTION for leftover rows

Hello,

While testing FOR PORTION OF I noticed that DELETE FOR PORTION OF on a
view ignores the view's WITH CHECK OPTION for the temporal leftover
rows it inserts.

A minimal example:

create table t (id int, valid_at daterange, val text);
insert into t values (1, '[2020-01-01,2030-01-01)', 'a');
create view v as select * from t
where valid_at && daterange('2024-01-01', '2025-01-01')
with check option;

delete from v for portion of valid_at from '2022-01-01' to '2026-01-01';

The DELETE succeeds, and the 2 leftover rows it inserts
([2020-01-01,2022-01-01) and [2026-01-01,2030-01-01)) are invisible in
the view. The equivalent UPDATE fails:

update v for portion of valid_at from '2022-01-01' to '2026-01-01' set
val = 'b';
ERROR: new row violates check option for view "v"
DETAIL: Failing row contains (1, [2020-01-01,2022-01-01), a).

The attached patch fixes the DELETE behavior, and adds regression tests.