It would be nice if we could add foreign key behavior testing for the simulator, particularly with --differential so we could assert that we have the same behavior as SQLite, not just for the normal DML statements and more basic setup that we test for in the existing fuzzers.
I have a branch locally that works on adding this, that is currently stacked/dependent on #4340, so I will put it in after that gets merged.