Detect arbitrary delegatecall and create a contract that self destruct

[montyly]

Echidna could detect an arbitrary delegatecall (ex: delegatecall to a user parameter), and deploy a contract that just self-destruct.

This will help to detect properties that fail if the attackers can exploit arbitrary self destruct of a component

[gustavo-grieco]

This is an interesting idea for Echidna 2.0.