-insert! and delete! now display the offending fact on assertion failure