Add check for runaway propagation, fixed currently at 1K new inserts.
Add tests for cascading deletes of inference and premises.